it's already casting to uint32, so why is this needed at all?