Currently the implementation of overflow check is different for signed
and unsigned "small" integral types, so better check both cases
explicitly.