qualify c++11 int types