%f-style formatting, which used to occur at high precision.  Float formatting
should now be consistent between 2.7 and 3.1.