~/jendhub

def float_parts

bendvy-ecs-core@0.1.0.3 · decode_data.bend:77

import bendvy-ecs-core@0.1.0.3/decode_data.bend as DecodeData
import Base

77def float_parts(+bits:U32,+exponent:U32,+fraction:U32,special:Bool,zero:Bool) -> Numeric:
78  match special zero:
79    case True{} _: numeric_special(U32.is_ge(bits,2147483648),U32.is_eq(fraction,0))
80    case False{} True{}: normalize(64n,U32.is_ge(bits,2147483648),0,fraction,925)
81    case False{} False{}: normalize(64n,U32.is_ge(bits,2147483648),0,U32.add(fraction,8388608),U32.add(exponent,924))

Uses (8)

Used by (1)