Add divides() to Integral