def Json.parse.in_num
import bend-kube-runtime@0.2.0.0/src/json.bend as Jsonimport Base
595# A number or literal ends at the first char that cannot extend it; that
596# char is then read as if after a value.
597def Json.parse.in_num(+c: Char, buf: String, stack: List<&2, Frame>) -> JState:
598 Json.parse.in_num.if(c, buf, stack, Json.is_num_chr(c))