Will_Sawin comments on What does a calculator mean by “2”?