splay: use Ord interface