Display correct precision in non-HTML output.