Make Int assertions rather than Int64

Makes the application less system specific.