Formalise floating point numbers #51
Description
The most promising way to do this is relying on an up-to-date library for IEEE 754 floats.
{{ message }}
The most promising way to do this is relying on an up-to-date library for IEEE 754 floats.