%% ?- answer(X0, X1).

val(1.5).
val(2.25).
answer(sumall_float_template, Sum) :- sumall(X, val(X), Sum).