/flocq/IEEE754/
../
Binary.v
BinarySingleNaN.v
Bits.v