def rne

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

153def rne(+m: Nat, +k: Nat) -> Nat:
154  match k:
155    case 0n:
156      m
157    case 1n+ +j:
158      rne_up(C.high(1n+j, m), C.low(1n+j, m), C.shift(j, 1n))