E>>pp-number:
E>>           digit
E>>           . digit
E>>           pp-number digit
E>>           pp-number nondigit
E>>           pp-number e sign
E>>           pp-number E sign
E>>           pp-number .
E>>