On Saturday, January 7, 2023, Tom Lane <t...@sss.pgh.pa.us> wrote: > PG Doc comments form <nore...@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.