def finite_checked

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

import Base

11def finite_checked(valid:Bool,value:U32,exponent:U32) -> Checked:
12  match valid:
13    case True{}:Value{shifted(U32.to_nat(U32.sub(exponent,1074)),value)}
14    case False{}:Invalid{}