8.5.2 "integral" - "integer"

2023-01-07 Thread 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 ho

Re: 8.5.2 "integral" - "integer"

2023-01-07 Thread 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 possi

Re: 8.5.2 "integral" - "integer"

2023-01-07 Thread 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 numbe