HomeIsabelle/Phabricator

Tidy up non-exact conversion. Add ".0" to general format output if there is no…

Description

Tidy up non-exact conversion. Add ".0" to general format output if there is no decimal point or exponent.

Details

Provenance
dcjmAuthored on Nov 12 2023, 5:22 PM
Parents
rPOLYML3799a887b1a8: Add missing const specifier.
Branches
Unknown
Tags
Unknown