safe_int multiplication