Add symbolic evaluation for div with positive ints