Module format 

Compatibility path for shared Workshop formatting helpers.

Functions

format_number

Format a float like the reference frontend: integers print without a decimal point, and non-integers print the shortest round-trip representation truncated to 16 significant digits (OverPy behavior; evidence: the pinned oracle snapshots).