correct type for 64 platform