[throwaway81523]

No that wasn't it. It may have had to do with constraints on the types of values that the stdlib priority queue could hold.