64-bit floating-point
Redirect to:
Double-precision floating-point format