def binary_integer_normal

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

import Base

136def binary_integer_normal(result:Numeric) -> Bool:
137  match result:
138    case Finite{_,high,low,+exponent}: (U32.is_eq(high,0) && U32.is_eq(low,0)) || (U32.is_ge(exponent,1074) && U32.is_le(exponent,1126))
139    case _: False{}