How to divide rationals?