hmmm. array[]::integer[] is an empty array, {}, eg an array with zero elements
but array_length(array[]::integer[]) is NULL rather than zero. this seems counterintuitive.
-- john r pierce N 37, W 122santa cruz ca mid-left coast