Double-precision floating point

Redirect to:

• Double-precision floating-point format