def kr

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

import Base

230# sqrt(m * 2^(x - Z)) with x - Z made even: the integer square root of the
231# significand scaled by 2^(2 K), and a sticky bit when it was not exact
232def kr() -> Nat:
233  100n