def Ulp.value

bend-collections-laws-math@1.0.0.0 · spec/math/f64.bend:430

import Base
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F

430# the weight of the last bit of x: 2^(xexp(x) - Z) (the smallest subnormal
431# for zeros), inf for infinities, NaN for NaN (4.4)
432def Ulp.value(+x: F.F64) -> Type:
433  {F.ulp(x) == pick(F.F64, is_nan(x), qnan(), pick(F.F64, is_inf(x), inf(False{}), round(False{}, 1n, xexp(x)))) : F.F64}