(Comparisons are treated as separate from "binary_op" to save you having to specify the result_type).
See Implementation
(Comparisons are treated as separate from "binary_op" to save you having to specify the result_type).