[math-fun] 32-bit computers almost gone