Double precision float

Redirect to:

• Double-precision floating-point format