%% goal: answer(X0, X1)

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