answer(floor_pos, 3).
answer(floor_neg, -4).
answer(ceiling_pos, 4).
answer(ceiling_neg, -3).
answer(trunc_pos, 3).
answer(trunc_neg, -3).
answer(round_half_up, 3).
answer(round_half_neg, -2).