Changing the test for 32bitness based on feedback from Matthew Flatt