8.5.2 "integral" - "integer"

[PG Doc comments form]

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"

Re: 8.5.2 "integral" - "integer"

[Tom Lane]

PG Doc comments form  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

Re: 8.5.2 "integral" - "integer"

[David G. Johnston]

On Saturday, January 7, 2023, Tom Lane  wrote:

> PG Doc comments form  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.
>

Even if technically correct I’d probably go with integer in deference to
non-native speakers and the fact that integral has two other much more
commonly used meanings than as a synonym for integer.

David J.