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"