simplification of float division in rational_to_double