JSON.number_step: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON
Lines 540-567 of qasim-bend-kit@0.1.0.2/libs/JSON.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&start_line=540&end_line=567

import Base

def number_step(character: NumberChar, state: NumberState) -> NumberState:
    match character state:
        case NOther{} _: NumberInvalid{}
        case NMinus{} NumberStart{}: NumberMinus{}
        case NMinus{} NumberExponent{}: NumberExponentSign{}
        case NPlus{} NumberExponent{}: NumberExponentSign{}
        case NDot{} NumberZero{}: NumberDot{}
        case NDot{} NumberInteger{}: NumberDot{}
        case NExp{} NumberZero{}: NumberExponent{}
        case NExp{} NumberInteger{}: NumberExponent{}
        case NExp{} NumberFraction{}: NumberExponent{}
        case NZero{} NumberStart{}: NumberZero{}
        case NZero{} NumberMinus{}: NumberZero{}
        case NZero{} NumberInteger{}: NumberInteger{}
        case NZero{} NumberDot{}: NumberFraction{}
        case NZero{} NumberFraction{}: NumberFraction{}
        case NZero{} NumberExponent{}: NumberExponentDigits{}
        case NZero{} NumberExponentSign{}: NumberExponentDigits{}
        case NZero{} NumberExponentDigits{}: NumberExponentDigits{}
        case NDigit{} NumberStart{}: NumberInteger{}
        case NDigit{} NumberMinus{}: NumberInteger{}
        case NDigit{} NumberInteger{}: NumberInteger{}
        case NDigit{} NumberDot{}: NumberFraction{}
        case NDigit{} NumberFraction{}: NumberFraction{}
        case NDigit{} NumberExponent{}: NumberExponentDigits{}
        case NDigit{} NumberExponentSign{}: NumberExponentDigits{}
        case NDigit{} NumberExponentDigits{}: NumberExponentDigits{}
        case _ _: NumberInvalid{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=NumberChar
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=NumberState