answer(max_negative, -3).
answer(min_float, -1.25).
answer(floor_negative, -4).
answer(ceiling_negative, -3).
answer(trunc_positive, 3).
answer(sqrt_fraction, 1.5).
answer(pow_fraction, 3.0).