Create an Int rem expression. The result value is either (mod lhs rhs) when rhs >= 0 and (neg (mod lhs rhs)) otherwise. The result sign matches the rhs sign.