More support for binop in int cases