gwern comments on Scientific Notation Options