int types for windows w/o boost & C++11 #3