%% ?- answer(X0, X1).

answer(div_float_exact, X) :- (X is 7.5 / 2.5).