Re: [patch] float -> string #1 (was: Re: [patch] validators for the rest)

[Juergen Spitzmueller]

John Spray wrote:
> I think that two decimal places should be enough
> for most people, so I'll change it to that.

Yes, that's what the other frontends declare "valid" in most cases.

Jürgen