Re: add alias FLOAT for double precision

"Euler Taveira" <euler@eulerto.com> writes:
> On Thu, Aug 7, 2025, at 7:35 AM, PG Doc comments form wrote:
>> In table 8.1 (
>> https://www.postgresql.org/docs/current/datatype.html#DATATYPE-TABLE ) the
>> FLOAT alias isn't listed, I think it would make sense to include beside
>> FLOAT8.

> Makes sense.

Agreed, pushed.

            regards, tom lane