Better support for binary operators with different input types

For example, numba now supports [`numpy.around`](https://numpy.org/doc/stable/reference/generated/numpy.around.html).  The second argument must be an integer, but the first argument can be any non-boolean types.  The return type matches the first argument.

We should support this better.