Translating rationals to division