uses gcc __int128, won't work on 32-bit Intel