@nden: Is it correct that these numbers have recently changed (again)?  Or is it expected that these numbers are different every time?  If the latter, we should probably mark the line with `# doctest: +SKIP`