export Scope.Numeric.IEEE754