~/jendhub

def binary_parts

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

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

84def binary_parts(+negative:Bool,+exponent:U32,+high:U32,+low:U32,special:Bool,zero:Bool) -> Numeric:
85  match special zero:
86    case True{} _: numeric_special(negative,U32.is_eq(high,0) && U32.is_eq(low,0))
87    case False{} True{}: normalize(64n,negative,high,low,0)
88    case False{} False{}: normalize(64n,negative,U32.add(high,1048576),low,U32.sub(exponent,1))

Uses (9)

Used by (1)