docs: public BigDecimal BigDecimalValue(MathContext mc) {
          /* numerator and denominator individually rephrased
           */
          BigDecimal n = new BigDecimal(a);
          BigDecimal d = new BigDecimal(b);
          return n.divide(d, mc);
      }