# uses UInt64GetDatum
9.6+
