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.