I want to round a number, keeping as many digits as possible, if the number ends in /999.$/ .

So I'd need something like a "%0.(max)f" format (maybe it exists?)