Re: 8.5.2 "integral" - "integer"

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