From catalog/rfc8259-json.abnf rule: number

Definition

number = [minus] int [frac] [exp]

int = zero / (digit1-9 *DIGIT)

zero = %x30

digit1-9 = %x31-39

frac = decimal-point 1*DIGIT

decimal-point = %x2e

exp = e [minus / plus] 1*DIGIT

plus = %x2b

minus = %x2d

e = %x65 / %x45

    

Info

Rulename

number

Dependencies

DIGIT, e, minus, plus, exp, decimal-point, frac, digit1-9, zero, int, number

Used Builtins

DIGIT

Alphabet

• +
• -
• .
• 0
• 1…9
• E e

Translations

(|-)0|(|-)0[Ee](|[+\-])[0-9][0-9]*|(|-)0\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*)|(|-)[1-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))

(|-)0|(|-)0[Ee](|[+\-])[0-9][0-9]*|(|-)0\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*)|(|-)[1-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*|\.[0-9][0-9]*(|[Ee](|[+\-])[0-9][0-9]*))