* types.h: Try and use uint64_t for a 64-bit type.