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