Check return values of some internal arithmetic operations.

This was hunting for the message below. I don't think the extra checks
are in the right place. We basically must find a success path for is/2
after check_float() returns FALSE.

Foreign predicate system:is/2 did not clear exception:
error(evaluation_error(float_overflow),context(system: (is)/2,_G3441))