add procedure div-interval