{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"int_token.text_range(),"}]}
                int_token.text_range(),
                decimal integers with no underscores or suffix",
            ));