answer(div_integer_trunc, 3.5).