No need to cast something is already a uint32.