def number_roundtrip

qasim-bend-kit@0.1.0.2 · proof/JSON_PrimitiveProof.bend:61

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

61def number_roundtrip(+text: String,
62                     +certificate: J.NumberCert<text>) -> {J.decode_payload(text) == Done{J.Number{text, certificate}} : R()}:
63    number_route(text, J.number_valid(text), certificate, {==})