[math-fun] The end of the 32-bit computer?