Why the uint32_t cast?  Isn't exptime already a uint32_t?