Module Fcore
To ease the import
Require
Export
Fcore_Raux
.
Require
Export
Fcore_defs
.
Require
Export
Fcore_float_prop
.
Require
Export
Fcore_rnd
.
Require
Export
Fcore_generic_fmt
.
Require
Export
Fcore_rnd_ne
.
Require
Export
Fcore_FIX
.
Require
Export
Fcore_FLX
.
Require
Export
Fcore_FLT
.
Require
Export
Fcore_ulp
.