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.