{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
                    // can only increase an (in range) negative term for addition
                    // Negative overflow not possible since the positive first term
                    // or corresponding negated positive term for subtraction.