Function remove_trailing_zeros

Remove trailing zeros after the decimal point from a numeric string; also remove the decimal point if all digits following it are zero. The numeric string must end in '\0', and should not have any leading or trailing whitespace. Assumes that the decimal point is '.'. */