Fixing the issue due to the 64bit INT