Writes a number as floating point number 64-bit in big endian.
An integer to be written.
The new builder.
Writes a number as floating point number 64-bit in big endian.