Re: Why don't we accept exponential format for integers? - Mailing list pgsql-hackers

> > And so does:
> > SELECT 1.23e+01::Integer
> >
> >
> >> > which I find just as dangerous as
> >> > SELECT '1.234e+01'::Integer;
> >
> > Add quotes to either of the other two, and then they don't work either.
> 
> Well, that's stupidly arbitrary.  If we're not going to accept
> '1.234e+01'::Integer, then we shouldn't accept 1.234e+01::Integer either.
> 

Isn't this a case of an explicit cast?  Shouldn't our answer to 1.234e+1::Integer be the same as CAST(1234e+1 AS
Integer)?
Which is legal ISO SQL, as far as I can see.