Division by repeated subtraction