{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// the infinite precision result would not be equal to the actual result.
    /// For addition, subtraction, and multiplication on integers the error condition is set when
    CheckedBinaryOp(BinOp, Operand, Operand),