Fix of minor inconsistency
·
172 commits
to main
since this release
Fixed a minor (and for practical purposes insignificant) inconsistency w.r.t. rounding errors.