Use clone for ufloat theory
Provide a generic theory parametrized by eps
and eta
, and clone it for single and double precision.
Also separate ufloat theorems in an other module.
Provide a generic theory parametrized by eps
and eta
, and clone it for single and double precision.
Also separate ufloat theorems in an other module.