Std.h: Add definition of 64 bit types