Reduce constant factor in BinaryHeap