\str\text::correct_types returns a string when a decimal ends with 0