Обсуждение: 8.5.2 "integral" - "integer"

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/15/datatype-datetime.html
Description:

I think, the "integer" will be good choice instead "integral'":
8.5.2
...
"The offset will be shown as hh (hours only) if it is an integral number of
hours, else as hh:mm if it is an integral number of minutes, else as
hh:mm:ss. (The third case is not possible with any modern"

PG Doc comments form <noreply@postgresql.org> writes:
> I think, the "integer" will be good choice instead "integral'":
> 8.5.2
> ...
> "The offset will be shown as hh (hours only) if it is an integral number of
> hours, else as hh:mm if it is an integral number of minutes, else as
> hh:mm:ss. (The third case is not possible with any modern"

"Integral" seems like perfectly good English to me here.

            regards, tom lane

PG Doc comments form <noreply@postgresql.org> writes:
> I think, the "integer" will be good choice instead "integral'":
> 8.5.2
> ...
> "The offset will be shown as hh (hours only) if it is an integral number of
> hours, else as hh:mm if it is an integral number of minutes, else as
> hh:mm:ss. (The third case is not possible with any modern"

"Integral" seems like perfectly good English to me here.