~/jendhub

def F64.from.small

bend-kit-f64@0.1.0.0 · f64.bend:1095

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

1095def F64.from.small(small: Bool, +z: U32, +n: U32) -> F64:
1096  match small:
1097    case True{}:
1098      F64.from.lo(z, n, (11 - z : U32), (21 + z : U32))
1099    case False{}:
1100      F64.pack(0, (1054 - z : U32), (n << U32.to_nat((z - 11 : U32)) : U32), 0)

Uses (9)

Used by (1)