docs: 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);
  	}