[cs] add cast in int division filter if one of operands isn't exactly Int (closes #3543)