number_spec

<number_spec> ::=
  DECIMAL '/[<
digit_grouping_symbol>]/<decimal_symbol>/'