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