Move the safe cast tests involving floats to mp_integer.
mp_integer: more work on the safe_cast specialisation.