Numbers as Tokens (original) (raw)
| numeric-token | ::= | integer |
ratio |
float |
| ------------------------------------------------------------------------------------------------- | ------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| integer | ::= | [_sign_] {decimal-digit}+ decimal-point | [_sign_] {digit}+ |
| ratio | ::= | [_sign_] {digit}+slash {digit}+ |
| float | ::= | [_sign_] {decimal-digit}* decimal-point {decimal-digit}+[
exponent]| [_sign_] {decimal-digit}+ [decimal-point {decimal-digit}*]
exponent |
| exponent | ::= | exponent-marker [_sign_] {digit}+ |
| | | |
| _sign_---a sign. | | |
| _slash_---a slash | | |
| _decimal-point_---a dot. | | |
| _exponent-marker_---an exponent marker. | | |
| _decimal-digit_---a digit in radix 10. | | |
| _digit_---a digit in the current input radix. | | |