DECIMAL top-level property
20 DECIMAL ::= +-? 0-9* '.' 0-9+
Implementation
final DECIMAL = pattern('+-').repeat(0, 1) &
pattern('0-9').star() &
string('.') &
pattern('0-9').plus();
20 DECIMAL ::= +-? 0-9* '.' 0-9+
final DECIMAL = pattern('+-').repeat(0, 1) &
pattern('0-9').star() &
string('.') &
pattern('0-9').plus();