code: public double doubleValue() {
          /* To meet the risk of individual overflows of the exponents of
           * a separate invocation a.doubleValue() or b.doubleValue(), we divide first
           * in a BigDecimal environment and converst the result.
           */
          BigDecimal adivb = (new BigDecimal(a)).divide(new BigDecimal(b), MathContext.DECIMAL128);
          return adivb.doubleValue();
      }
docs: Return a double value representation.
  
  @return The value with double precision.