If s represents a floating point value, trailing zeros and a possibly trailing decimal point will be removed. This function does NOT work with decimal commas.
(s: String, alternate_form: bool)
source not stored for this graph (policy: none)
no test coverage detected