Changes list priority from int to double.

This allows an easy implementation of something like A* in work queue,
while preserving the old int behaviour.