Module Core
To ease the import
Require
Export
Raux
Defs
Float_prop
Round_pred
Generic_fmt
Round_NE
.
Require
Export
FIX
FLX
FLT
Ulp
.