fix: improve new Float content based on feedback from Julia#875

david-christiansen merged 1 commit into

nightly-testingleanprover/reference-manual:nightly-testingfrom

float-improvement-nightlyleanprover/reference-manual:float-improvement-nightlyCopy head branch name to clipboard