Maximum safe double-precision floating-point integer.