Function format_number 

pub fn format_number(value: f64) -> String

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).