def exp.num
import cswap-bend-cli@0.1.0.0/usage/cred.bend as Credimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
85def exp.num(+j: Json.Json, +now: U32) -> Bool:
86 match j:
87 case Json.JNum{t}:
88 exp.int(String.split(t, '.'), now)
89 case _:
90 False{}