AASL 5.6.4 Quotient rule