Commit 23a27b039 widened these from uint32 to uint64, but I overlooked that the documentation explicitly showed them as uint32. Per report from Vicky Vergara. Report: <20161111135422.8761.36733@wrigleys.postgresql.org>
23a27b039