[curt.clifton]

Ken,

What would it do to the performance if the priority was stored as a floating point number instead of an integer? For all practical purposes there are an infinite number of floats between any other two floats. (Of course that isn't technically true, but I suspect disk capacity issues would arise before anyone exhausted the precision of 64-bit floats.)