{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
            // No base prefix, parse number in the usual way.
        } else {
            self.eat_decimal_digits();