<[<["digit"*! ["decimal-point" !*"digit"]?],
   ["decimal-point" "digit"*!]>
  ["E" <!, "+", "-"> "digit"*!]?],
 ["'0x'" "hexdigit"*!]>
