catalog/rfc8259-json-number.abnf
Source
; <https://www.rfc-editor.org/rfc/rfc8259.html>
number = [ minus ] int [ frac ] [ exp ]
decimal-point = %x2E ; .
digit1-9 = %x31-39 ; 1-9
e = %x65 / %x45 ; e E
exp = e [ minus / plus ] 1*DIGIT
frac = decimal-point 1*DIGIT
int = zero / ( digit1-9 *DIGIT )
minus = %x2D ; -
plus = %x2B ; +
zero = %x30 ; 0
Info
- Rules
- number, decimal-point, digit1-9, e, exp, frac, int, minus, plus, zero
- Dependencies
- Used Builtins
- DIGIT