It's 64bit all the way down