def normalize

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

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

import Base

71def normalize(fuel:Nat,+negative:Bool,+high:U32,+low:U32,+exponent:U32) -> Numeric:
72  normalize_checked(fuel,negative,high,low,exponent,U32.is_eq(high,0) && U32.is_eq(low,0),U32.is_eq(U32.mod(low,2),0))

Uses (8)

Used by (3)