gwern comments on Conceptual Rounding Errors