add alias FLOAT for double precision

The Post Office <noreply@postgresql.org>

From: PG Doc comments form <noreply@postgresql.org>
To: pgsql-docs@lists.postgresql.org
Cc: alexander.kjall@hafslund.no
Date: 2025-08-07T10:35:46Z
Lists: pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/17/datatype.html
Description:

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.

Commits

  1. doc: add float as an alias for double precision.