code: public BigRational divide(BigRational value) {
  		if (value.equals(ONE)) {
  			return this;
  		}
  
  		BigDecimal n = numerator.multiply(value.denominator);
  		BigDecimal d = denominator.multiply(value.numerator);
  		return of(n, d);
  	}
docs: Calculates the division (/) of this rational number and the specified argument.
  
  <p>The result has no loss of precision.</p>
  
  @param value the rational number to divide (0 is not allowed)
  @return the resulting rational number
  @throws ArithmeticException if the argument is 0 (division by zero)