{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                    // Negative overflow not possible since the positive first term
                if first_term >= 0 {
                    // can only increase an (in range) negative term for addition