def normalized

bendvy-ecs-core@0.1.0.4 · restore_raw_number.bend:20

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

20def normalized(value:D.Numeric) -> Checked:
21  match value:
22    case D.Finite{negative,high,low,exponent}:finite(negative,high,low,exponent)
23    case _:Invalid{}