Why isn't time uint32_t?