Doc: fix discussion of how to get real Julian Dates.

Somehow I'd convinced myself that rotating to UTC-12 was the way
to do this, but upon further review, it's definitely UTC+12.

Discussion: https://postgr.es/m/1197050.1619123213@sss.pgh.pa.us

diff --git a/doc/src/sgml/datetime.sgml b/doc/src/sgml/datetime.sgml
index cb250a63d42785223f07e2d34f99d9f9b6287d62..4258bf83af8e1ae01105e05ba3c5a3e2eacdafa5 100644 (file)
--- a/doc/src/sgml/datetime.sgml
+++ b/doc/src/sgml/datetime.sgml
@@ -908,22 +908,22 @@ $ cal 9 1752
   
    This definition does, however, provide a way to obtain the astronomical
    definition when you need it: do the arithmetic in time
-   zone UTC-12.  For example,
+   zone UTC+12.  For example,
 
-=> SELECT extract(julian from '2021-06-23 7:00:00-04'::timestamptz at time zone 'UTC-12');
+=> SELECT extract(julian from '2021-06-23 7:00:00-04'::timestamptz at time zone 'UTC+12');
      date_part
 --------------------
- 2459389.9583333335
+ 2459388.9583333335
 (1 row)
-=> SELECT extract(julian from '2021-06-23 8:00:00-04'::timestamptz at time zone 'UTC-12');
+=> SELECT extract(julian from '2021-06-23 8:00:00-04'::timestamptz at time zone 'UTC+12');
  date_part
 -----------
-   2459390
+   2459389
 (1 row)
-=> SELECT extract(julian from date '2021-06-24');
+=> SELECT extract(julian from date '2021-06-23');
  date_part
 -----------
-   2459390
+   2459389
 (1 row)