Expand description
A 64-bit floating-point type (specifically, the “binary64” type defined in IEEE 754-2008).
This type is very similar to f32, but has increased precision by using twice as many
bits. Please see the documentation for f32 or Wikipedia on double-precision
values for more information.