Floating point numbers library which originated from the "Flocq"
library for the Coq theorem prover.