fix inconsistent typing in divisor()