c++0x, stdint