static_cast and unsigned ints