Marcus Boerger wrote: > float numbers are never perfect values. So should in anyway never rely > on a certain output format. So there is nothing to document here.
We have a changed behavior here that should be documented. Otherwise users will run into problems. As the non-academic example that raised this discussion shows. - Sebastian
