operators of AvlInt updated.