Treat int as 64bit