fix type mismatch anywhere int != int32 (Vorne)

I got this from Vorne's repo; credit him.