def div.bit

import bend-kit-f64@0.1.0.0/f64.bend as F64

import Base

456def div.bit(+p: Nat, ma: W2) -> U32:
457  div.bit.small(U32.is_lt(U32.from_nat(p), 116), U32.from_nat(p), ma)

Uses (6)