RegularDecimalReal

EBNF

RegularDecimalReal = { Digit }, '.', { Digit }- ;
Digit = ZeroDigit
      | NonZeroDigit
      ;

Referenced from