safe_int bug fixes