integrating division in Tinterval