IEEE floating point semantics for safe_int with infinity and NaN; add division of safe_int