Make type checker integer size 32 bits