Die Verwirrung rührt von zwei unterschiedlichen Bedeutungen von "Unendlichkeit" her hier.
timestampTypen akzeptieren Sonderwerte fürinfinityund-infinity.- Bereichstypen haben ein allgemeines Konzept für Bereiche ohne Unter-/Obergrenze. Die zu testenden Funktionen heißen
lower_inf()undupper_inf(), aber sie testen wirklich auf "no bound" in der Reichweite. Bereiche ohne Ober-/Untergrenze include der Wertinfinity/-infinityfürtimestampbzw..
Vielleicht sollten diese Funktionen wirklich so etwas wie lower_nobound() heißen und upper_nobound() um Verwirrung zu vermeiden ...