I wrote:> Further experimentation says that 9.0-9.2 do this in the expected order;> so somebody broke it during 9.3.
Depressingly enough, the somebody was me. Fixed now.
regards, tom lane