[082349872349872]

That sounds like the perfect swith* for me as well — I'd already been meaning to hide some imperative O(n)s behind functional-seeming O(n log n)s, but if soft heaps have no huge constant involved, maybe no rabbits have to be hidden in hats?

* http://bitsnbobstones.watershipdown.org/lapine/unit12.html#:...