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