types to uint32