Use mandi's implementation of \orderof