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();