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