dot-format_ini_rhs function

Format a value to a suitable format to rhs in an .ini file.