{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"CheckedBinaryOp(BinOp,"}]}
    CheckedBinaryOp(BinOp, Operand, Operand),
    /// the infinite precision result would not be equal to the actual result.