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

On Saturday, January 7, 2023, Tom Lane <tgl@sss.pgh.pa.us> wrote:

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.

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.