make rational arithmetic use checked ops
Merge pull request #8672 from simonbyrne/check-rational

make rational arithmetic use checked ops