Use explicit Word32/Int32 in place of Int in the on-disk .hi file