def RI

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64rint.bend:222

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

222def RI(+m: F.RMode, +x: F.F64) -> F.F64:
223  SF.round(SF.sign(x), SF.integral(m, SF.sign(x), SF.mant(x), Nat.sub(SF.zb(), SF.xexp(x))), SF.zb())