mod in IntBinTree