HOPKINS: Remove some more casts to unsigned int