As the comments in the issue state: it appears to work now, so this test should just stop any regressions. The second example in the issue description will format to the first, which is then a fixed-point.