@wip: avoid loosing precision when formatting