def Radix.value.if
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
302def Radix.value.if(ok: Bool, +c: U32) -> U32:
303 match ok:
304 case True{}:
305 U32.sub(c, 48)
306 case False{}:
307 Radix.value.upper(Radix.in(c, 65, 90), c)