This is #1184 but for modulo... sounds like it was forgotten that you can not mod by zero either.

There is also a case of division and modulo of std::numeric_limits<T>::min() / -1 which is UB aswell. Not sure if you want to check it too - it requires to check both operands.