Re: [GHC] #13682: When printf "%g" with trailing 0 number, decial point be printed.