Fix TODO in format_number()