answer(div_float_exact, 3.0).