portray(F) :- float(F), format_to_codes(Fs, "~6f", [F]), append(Ns, Os, Fs), \+ (member(Ch, Os), \+ member(Ch, "0.")), !, format("~s",[Ns]).