refactoring/tidyup: (not.is64BitInteger) -> is32BitInteger