Constant jl_sys::DBL_MAXINT

pub const DBL_MAXINT: u64 = 9007199254740992;