- Fixed bug wrt 32-bit integers having upper 32 bits nonzero