{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                // `binary_op` already called `generate_nan` if needed.
                let res = self.binary_op(op, &a, &b)?;
                let res = M::apply_float_nondet(self, res)?;