@sitevision/api 2023.2.1 → 2023.2.2-beta.2

package/types/java/math/BigDecimal/index.d.ts

@@ -0,0 +1,1278 @@
+import type { MathContext } from "../MathContext";
+
+import type { RoundingMode } from "../RoundingMode";
+import type { BigInteger } from "../BigInteger";
+import type { Object } from "../../lang/Object";
+
+import type { String } from "../../lang/String";
+
+import type { Number } from "../../lang/Number";
+import type { Comparable } from "../../lang/Comparable";
+
+/**
+ * Immutable, arbitrary-precision signed decimal numbers.  A
+ *  {@code BigDecimal} consists of an arbitrary precision integer
+ *  <i>unscaled value</i> and a 32-bit integer <i>scale</i>.  If zero
+ *  or positive, the scale is the number of digits to the right of the
+ *  decimal point.  If negative, the unscaled value of the number is
+ *  multiplied by ten to the power of the negation of the scale.  The
+ *  value of the number represented by the {@code BigDecimal} is
+ *  therefore <tt>(unscaledValue &times; 10<sup>-scale</sup>)</tt>.
+ *
+ *  <p>The {@code BigDecimal} class provides operations for
+ *  arithmetic, scale manipulation, rounding, comparison, hashing, and
+ *  format conversion.  The {@link #toString} method provides a
+ *  canonical representation of a {@code BigDecimal}.
+ *
+ *  <p>The {@code BigDecimal} class gives its user complete control
+ *  over rounding behavior.  If no rounding mode is specified and the
+ *  exact result cannot be represented, an exception is thrown;
+ *  otherwise, calculations can be carried out to a chosen precision
+ *  and rounding mode by supplying an appropriate {@link MathContext}
+ *  object to the operation.  In either case, eight <em>rounding
+ *  modes</em> are provided for the control of rounding.  Using the
+ *  integer fields in this class (such as {@link #ROUND_HALF_UP}) to
+ *  represent rounding mode is largely obsolete; the enumeration values
+ *  of the {@code RoundingMode} {@code enum}, (such as {@link
+ *  RoundingMode#HALF_UP}) should be used instead.
+ *
+ *  <p>When a {@code MathContext} object is supplied with a precision
+ *  setting of 0 (for example, {@link MathContext#UNLIMITED}),
+ *  arithmetic operations are exact, as are the arithmetic methods
+ *  which take no {@code MathContext} object.  (This is the only
+ *  behavior that was supported in releases prior to 5.)  As a
+ *  corollary of computing the exact result, the rounding mode setting
+ *  of a {@code MathContext} object with a precision setting of 0 is
+ *  not used and thus irrelevant.  In the case of divide, the exact
+ *  quotient could have an infinitely long decimal expansion; for
+ *  example, 1 divided by 3.  If the quotient has a nonterminating
+ *  decimal expansion and the operation is specified to return an exact
+ *  result, an {@code ArithmeticException} is thrown.  Otherwise, the
+ *  exact result of the division is returned, as done for other
+ *  operations.
+ *
+ *  <p>When the precision setting is not 0, the rules of
+ *  {@code BigDecimal} arithmetic are broadly compatible with selected
+ *  modes of operation of the arithmetic defined in ANSI X3.274-1996
+ *  and ANSI X3.274-1996/AM 1-2000 (section 7.4).  Unlike those
+ *  standards, {@code BigDecimal} includes many rounding modes, which
+ *  were mandatory for division in {@code BigDecimal} releases prior
+ *  to 5.  Any conflicts between these ANSI standards and the
+ *  {@code BigDecimal} specification are resolved in favor of
+ *  {@code BigDecimal}.
+ *
+ *  <p>Since the same numerical value can have different
+ *  representations (with different scales), the rules of arithmetic
+ *  and rounding must specify both the numerical result and the scale
+ *  used in the result's representation.
+ *
+ *
+ *  <p>In general the rounding modes and precision setting determine
+ *  how operations return results with a limited number of digits when
+ *  the exact result has more digits (perhaps infinitely many in the
+ *  case of division) than the number of digits returned.
+ *
+ *  First, the
+ *  total number of digits to return is specified by the
+ *  {@code MathContext}'s {@code precision} setting; this determines
+ *  the result's <i>precision</i>.  The digit count starts from the
+ *  leftmost nonzero digit of the exact result.  The rounding mode
+ *  determines how any discarded trailing digits affect the returned
+ *  result.
+ *
+ *  <p>For all arithmetic operators , the operation is carried out as
+ *  though an exact intermediate result were first calculated and then
+ *  rounded to the number of digits specified by the precision setting
+ *  (if necessary), using the selected rounding mode.  If the exact
+ *  result is not returned, some digit positions of the exact result
+ *  are discarded.  When rounding increases the magnitude of the
+ *  returned result, it is possible for a new digit position to be
+ *  created by a carry propagating to a leading {@literal "9"} digit.
+ *  For example, rounding the value 999.9 to three digits rounding up
+ *  would be numerically equal to one thousand, represented as
+ *  100&times;10<sup>1</sup>.  In such cases, the new {@literal "1"} is
+ *  the leading digit position of the returned result.
+ *
+ *  <p>Besides a logical exact result, each arithmetic operation has a
+ *  preferred scale for representing a result.  The preferred
+ *  scale for each operation is listed in the table below.
+ *
+ *  <table border>
+ *  <caption><b>Preferred Scales for Results of Arithmetic Operations
+ *  </b></caption>
+ *  <tr><th>Operation</th><th>Preferred Scale of Result</th></tr>
+ *  <tr><td>Add</td><td>max(addend.scale(), augend.scale())</td>
+ *  <tr><td>Subtract</td><td>max(minuend.scale(), subtrahend.scale())</td>
+ *  <tr><td>Multiply</td><td>multiplier.scale() + multiplicand.scale()</td>
+ *  <tr><td>Divide</td><td>dividend.scale() - divisor.scale()</td>
+ *  </table>
+ *
+ *  These scales are the ones used by the methods which return exact
+ *  arithmetic results; except that an exact divide may have to use a
+ *  larger scale since the exact result may have more digits.  For
+ *  example, {@code 1/32} is {@code 0.03125}.
+ *
+ *  <p>Before rounding, the scale of the logical exact intermediate
+ *  result is the preferred scale for that operation.  If the exact
+ *  numerical result cannot be represented in {@code precision}
+ *  digits, rounding selects the set of digits to return and the scale
+ *  of the result is reduced from the scale of the intermediate result
+ *  to the least scale which can represent the {@code precision}
+ *  digits actually returned.  If the exact result can be represented
+ *  with at most {@code precision} digits, the representation
+ *  of the result with the scale closest to the preferred scale is
+ *  returned.  In particular, an exactly representable quotient may be
+ *  represented in fewer than {@code precision} digits by removing
+ *  trailing zeros and decreasing the scale.  For example, rounding to
+ *  three digits using the {@linkplain RoundingMode#FLOOR floor}
+ *  rounding mode, <br>
+ *
+ *  {@code 19/100 = 0.19   // integer=19,  scale=2} <br>
+ *
+ *  but<br>
+ *
+ *  {@code 21/110 = 0.190  // integer=190, scale=3} <br>
+ *
+ *  <p>Note that for add, subtract, and multiply, the reduction in
+ *  scale will equal the number of digit positions of the exact result
+ *  which are discarded. If the rounding causes a carry propagation to
+ *  create a new high-order digit position, an additional digit of the
+ *  result is discarded than when no new digit position is created.
+ *
+ *  <p>Other methods may have slightly different rounding semantics.
+ *  For example, the result of the {@code pow} method using the
+ *  {@linkplain #pow(int, MathContext) specified algorithm} can
+ *  occasionally differ from the rounded mathematical result by more
+ *  than one unit in the last place, one <i>{@linkplain #ulp() ulp}</i>.
+ *
+ *  <p>Two types of operations are provided for manipulating the scale
+ *  of a {@code BigDecimal}: scaling/rounding operations and decimal
+ *  point motion operations.  Scaling/rounding operations ({@link
+ *  #setScale setScale} and {@link #round round}) return a
+ *  {@code BigDecimal} whose value is approximately (or exactly) equal
+ *  to that of the operand, but whose scale or precision is the
+ *  specified value; that is, they increase or decrease the precision
+ *  of the stored number with minimal effect on its value.  Decimal
+ *  point motion operations ({@link #movePointLeft movePointLeft} and
+ *  {@link #movePointRight movePointRight}) return a
+ *  {@code BigDecimal} created from the operand by moving the decimal
+ *  point a specified distance in the specified direction.
+ *
+ *  <p>For the sake of brevity and clarity, pseudo-code is used
+ *  throughout the descriptions of {@code BigDecimal} methods.  The
+ *  pseudo-code expression {@code (i + j)} is shorthand for "a
+ *  {@code BigDecimal} whose value is that of the {@code BigDecimal}
+ *  {@code i} added to that of the {@code BigDecimal}
+ *  {@code j}." The pseudo-code expression {@code (i == j)} is
+ *  shorthand for "{@code true} if and only if the
+ *  {@code BigDecimal} {@code i} represents the same value as the
+ *  {@code BigDecimal} {@code j}." Other pseudo-code expressions
+ *  are interpreted similarly.  Square brackets are used to represent
+ *  the particular {@code BigInteger} and scale pair defining a
+ *  {@code BigDecimal} value; for example [19, 2] is the
+ *  {@code BigDecimal} numerically equal to 0.19 having a scale of 2.
+ *
+ *  <p>Note: care should be exercised if {@code BigDecimal} objects
+ *  are used as keys in a {@link java.util.SortedMap SortedMap} or
+ *  elements in a {@link java.util.SortedSet SortedSet} since
+ *  {@code BigDecimal}'s <i>natural ordering</i> is <i>inconsistent
+ *  with equals</i>.  See {@link Comparable}, {@link
+ *  java.util.SortedMap} or {@link java.util.SortedSet} for more
+ *  information.
+ *
+ *  <p>All methods and constructors for this class throw
+ *  {@code NullPointerException} when passed a {@code null} object
+ *  reference for any input parameter.
+ * @see BigInteger
+ * @see MathContext
+ * @see RoundingMode
+ * @see java.util.SortedMap
+ * @see java.util.SortedSet
+ * @author Josh Bloch
+ * @author Mike Cowlishaw
+ * @author Joseph D. Darcy
+ * @author Sergey V. Kuksenko
+ */
+export type BigDecimal = Number &
+  Comparable & {
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this +
+     *  augend)}, and whose scale is {@code max(this.scale(),
+     *  augend.scale())}.
+     * @param augend value to be added to this {@code BigDecimal}.
+     * @return {@code this + augend}
+     */
+    add(augend: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this + augend)},
+     *  with rounding according to the context settings.
+     *
+     *  If either number is zero and the precision setting is nonzero then
+     *  the other number, rounded if necessary, is used as the result.
+     * @param augend value to be added to this {@code BigDecimal}.
+     * @param mc the context to use.
+     * @return {@code this + augend}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @since 1.5
+     */
+    add(augend: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this -
+     *  subtrahend)}, and whose scale is {@code max(this.scale(),
+     *  subtrahend.scale())}.
+     * @param subtrahend value to be subtracted from this {@code BigDecimal}.
+     * @return {@code this - subtrahend}
+     */
+    subtract(subtrahend: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this - subtrahend)},
+     *  with rounding according to the context settings.
+     *
+     *  If {@code subtrahend} is zero then this, rounded if necessary, is used as the
+     *  result.  If this is zero then the result is {@code subtrahend.negate(mc)}.
+     * @param subtrahend value to be subtracted from this {@code BigDecimal}.
+     * @param mc the context to use.
+     * @return {@code this - subtrahend}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @since 1.5
+     */
+    subtract(subtrahend: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is <tt>(this &times;
+     *  multiplicand)</tt>, and whose scale is {@code (this.scale() +
+     *  multiplicand.scale())}.
+     * @param multiplicand value to be multiplied by this {@code BigDecimal}.
+     * @return {@code this * multiplicand}
+     */
+    multiply(multiplicand: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is <tt>(this &times;
+     *  multiplicand)</tt>, with rounding according to the context settings.
+     * @param multiplicand value to be multiplied by this {@code BigDecimal}.
+     * @param mc the context to use.
+     * @return {@code this * multiplicand}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @since 1.5
+     */
+    multiply(multiplicand: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, and whose scale is as specified.  If rounding must
+     *  be performed to generate a result with the specified scale, the
+     *  specified rounding mode is applied.
+     *
+     *  <p>The new {@link #divide(BigDecimal, int, RoundingMode)} method
+     *  should be used in preference to this legacy method.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param scale scale of the {@code BigDecimal} quotient to be returned.
+     * @param roundingMode rounding mode to apply.
+     * @return {@code this / divisor}
+     * @throws ArithmeticException if {@code divisor} is zero,&#xA; {@code roundingMode==ROUND_UNNECESSARY} and&#xA; the specified scale is insufficient to represent the result&#xA; of the division exactly.
+     * @throws IllegalArgumentException if {@code roundingMode} does not&#xA; represent a valid rounding mode.
+     * @see #ROUND_UP
+     * @see #ROUND_DOWN
+     * @see #ROUND_CEILING
+     * @see #ROUND_FLOOR
+     * @see #ROUND_HALF_UP
+     * @see #ROUND_HALF_DOWN
+     * @see #ROUND_HALF_EVEN
+     * @see #ROUND_UNNECESSARY
+     */
+    divide(
+      divisor: BigDecimal,
+      scale: number,
+      roundingMode: number
+    ): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, and whose scale is as specified.  If rounding must
+     *  be performed to generate a result with the specified scale, the
+     *  specified rounding mode is applied.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param scale scale of the {@code BigDecimal} quotient to be returned.
+     * @param roundingMode rounding mode to apply.
+     * @return {@code this / divisor}
+     * @throws ArithmeticException if {@code divisor} is zero,&#xA; {@code roundingMode==RoundingMode.UNNECESSARY} and&#xA; the specified scale is insufficient to represent the result&#xA; of the division exactly.
+     * @since 1.5
+     */
+    divide(
+      divisor: BigDecimal,
+      scale: number,
+      roundingMode: RoundingMode
+    ): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, and whose scale is {@code this.scale()}.  If
+     *  rounding must be performed to generate a result with the given
+     *  scale, the specified rounding mode is applied.
+     *
+     *  <p>The new {@link #divide(BigDecimal, RoundingMode)} method
+     *  should be used in preference to this legacy method.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param roundingMode rounding mode to apply.
+     * @return {@code this / divisor}
+     * @throws ArithmeticException if {@code divisor==0}, or&#xA; {@code roundingMode==ROUND_UNNECESSARY} and&#xA; {@code this.scale()} is insufficient to represent the result&#xA; of the division exactly.
+     * @throws IllegalArgumentException if {@code roundingMode} does not&#xA; represent a valid rounding mode.
+     * @see #ROUND_UP
+     * @see #ROUND_DOWN
+     * @see #ROUND_CEILING
+     * @see #ROUND_FLOOR
+     * @see #ROUND_HALF_UP
+     * @see #ROUND_HALF_DOWN
+     * @see #ROUND_HALF_EVEN
+     * @see #ROUND_UNNECESSARY
+     */
+    divide(divisor: BigDecimal, roundingMode: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, and whose scale is {@code this.scale()}.  If
+     *  rounding must be performed to generate a result with the given
+     *  scale, the specified rounding mode is applied.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param roundingMode rounding mode to apply.
+     * @return {@code this / divisor}
+     * @throws ArithmeticException if {@code divisor==0}, or&#xA; {@code roundingMode==RoundingMode.UNNECESSARY} and&#xA; {@code this.scale()} is insufficient to represent the result&#xA; of the division exactly.
+     * @since 1.5
+     */
+    divide(divisor: BigDecimal, roundingMode: RoundingMode): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, and whose preferred scale is {@code (this.scale() -
+     *  divisor.scale())}; if the exact quotient cannot be
+     *  represented (because it has a non-terminating decimal
+     *  expansion) an {@code ArithmeticException} is thrown.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @throws ArithmeticException if the exact quotient does not have a&#xA; terminating decimal expansion
+     * @return {@code this / divisor}
+     * @since 1.5
+     * @author Joseph D. Darcy
+     */
+    divide(divisor: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this /
+     *  divisor)}, with rounding according to the context settings.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param mc the context to use.
+     * @return {@code this / divisor}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY} or&#xA; {@code mc.precision == 0} and the quotient has a&#xA; non-terminating decimal expansion.
+     * @since 1.5
+     */
+    divide(divisor: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is the integer part
+     *  of the quotient {@code (this / divisor)} rounded down.  The
+     *  preferred scale of the result is {@code (this.scale() -
+     *  divisor.scale())}.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @return The integer part of {@code this / divisor}.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @since 1.5
+     */
+    divideToIntegralValue(divisor: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is the integer part
+     *  of {@code (this / divisor)}.  Since the integer part of the
+     *  exact quotient does not depend on the rounding mode, the
+     *  rounding mode does not affect the values returned by this
+     *  method.  The preferred scale of the result is
+     *  {@code (this.scale() - divisor.scale())}.  An
+     *  {@code ArithmeticException} is thrown if the integer part of
+     *  the exact quotient needs more than {@code mc.precision}
+     *  digits.
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param mc the context to use.
+     * @return The integer part of {@code this / divisor}.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @throws ArithmeticException if {@code mc.precision} {@literal >} 0 and the result&#xA; requires a precision of more than {@code mc.precision} digits.
+     * @since 1.5
+     * @author Joseph D. Darcy
+     */
+    divideToIntegralValue(divisor: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this % divisor)}.
+     *
+     *  <p>The remainder is given by
+     *  {@code this.subtract(this.divideToIntegralValue(divisor).multiply(divisor))}.
+     *  Note that this is not the modulo operation (the result can be
+     *  negative).
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @return {@code this % divisor}.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @since 1.5
+     */
+    remainder(divisor: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (this %
+     *  divisor)}, with rounding according to the context settings.
+     *  The {@code MathContext} settings affect the implicit divide
+     *  used to compute the remainder.  The remainder computation
+     *  itself is by definition exact.  Therefore, the remainder may
+     *  contain more than {@code mc.getPrecision()} digits.
+     *
+     *  <p>The remainder is given by
+     *  {@code this.subtract(this.divideToIntegralValue(divisor,
+     *  mc).multiply(divisor))}.  Note that this is not the modulo
+     *  operation (the result can be negative).
+     * @param divisor value by which this {@code BigDecimal} is to be divided.
+     * @param mc the context to use.
+     * @return {@code this % divisor}, rounded as necessary.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}, or {@code mc.precision}&#xA; {@literal >} 0 and the result of {@code this.divideToIntgralValue(divisor)} would&#xA; require a precision of more than {@code mc.precision} digits.
+     * @see #divideToIntegralValue(java.math.BigDecimal, java.math.MathContext)
+     * @since 1.5
+     */
+    remainder(divisor: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a two-element {@code BigDecimal} array containing the
+     *  result of {@code divideToIntegralValue} followed by the result of
+     *  {@code remainder} on the two operands.
+     *
+     *  <p>Note that if both the integer quotient and remainder are
+     *  needed, this method is faster than using the
+     *  {@code divideToIntegralValue} and {@code remainder} methods
+     *  separately because the division need only be carried out once.
+     * @param divisor value by which this {@code BigDecimal} is to be divided,&#xA; and the remainder computed.
+     * @return a two element {@code BigDecimal} array: the quotient&#xA; (the result of {@code divideToIntegralValue}) is the initial element&#xA; and the remainder is the final element.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @see #divideToIntegralValue(java.math.BigDecimal, java.math.MathContext)
+     * @see #remainder(java.math.BigDecimal, java.math.MathContext)
+     * @since 1.5
+     */
+    divideAndRemainder(divisor: BigDecimal): BigDecimal;
+
+    /**
+     * Returns a two-element {@code BigDecimal} array containing the
+     *  result of {@code divideToIntegralValue} followed by the result of
+     *  {@code remainder} on the two operands calculated with rounding
+     *  according to the context settings.
+     *
+     *  <p>Note that if both the integer quotient and remainder are
+     *  needed, this method is faster than using the
+     *  {@code divideToIntegralValue} and {@code remainder} methods
+     *  separately because the division need only be carried out once.
+     * @param divisor value by which this {@code BigDecimal} is to be divided,&#xA; and the remainder computed.
+     * @param mc the context to use.
+     * @return a two element {@code BigDecimal} array: the quotient&#xA; (the result of {@code divideToIntegralValue}) is the&#xA; initial element and the remainder is the final element.
+     * @throws ArithmeticException if {@code divisor==0}
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}, or {@code mc.precision}&#xA; {@literal >} 0 and the result of {@code this.divideToIntgralValue(divisor)} would&#xA; require a precision of more than {@code mc.precision} digits.
+     * @see #divideToIntegralValue(java.math.BigDecimal, java.math.MathContext)
+     * @see #remainder(java.math.BigDecimal, java.math.MathContext)
+     * @since 1.5
+     */
+    divideAndRemainder(divisor: BigDecimal, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is
+     *  <tt>(this<sup>n</sup>)</tt>, The power is computed exactly, to
+     *  unlimited precision.
+     *
+     *  <p>The parameter {@code n} must be in the range 0 through
+     *  999999999, inclusive.  {@code ZERO.pow(0)} returns {@link
+     *  #ONE}.
+     *
+     *  Note that future releases may expand the allowable exponent
+     *  range of this method.
+     * @param n power to raise this {@code BigDecimal} to.
+     * @return <tt>this<sup>n</sup></tt>
+     * @throws ArithmeticException if {@code n} is out of range.
+     * @since 1.5
+     */
+    pow(n: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is
+     *  <tt>(this<sup>n</sup>)</tt>.  The current implementation uses
+     *  the core algorithm defined in ANSI standard X3.274-1996 with
+     *  rounding according to the context settings.  In general, the
+     *  returned numerical value is within two ulps of the exact
+     *  numerical value for the chosen precision.  Note that future
+     *  releases may use a different algorithm with a decreased
+     *  allowable error bound and increased allowable exponent range.
+     *
+     *  <p>The X3.274-1996 algorithm is:
+     *
+     *  <ul>
+     *  <li> An {@code ArithmeticException} exception is thrown if
+     *   <ul>
+     *     <li>{@code abs(n) > 999999999}
+     *     <li>{@code mc.precision == 0} and {@code n < 0}
+     *     <li>{@code mc.precision > 0} and {@code n} has more than
+     *     {@code mc.precision} decimal digits
+     *   </ul>
+     *
+     *  <li> if {@code n} is zero, {@link #ONE} is returned even if
+     *  {@code this} is zero, otherwise
+     *  <ul>
+     *    <li> if {@code n} is positive, the result is calculated via
+     *    the repeated squaring technique into a single accumulator.
+     *    The individual multiplications with the accumulator use the
+     *    same math context settings as in {@code mc} except for a
+     *    precision increased to {@code mc.precision + elength + 1}
+     *    where {@code elength} is the number of decimal digits in
+     *    {@code n}.
+     *
+     *    <li> if {@code n} is negative, the result is calculated as if
+     *    {@code n} were positive; this value is then divided into one
+     *    using the working precision specified above.
+     *
+     *    <li> The final value from either the positive or negative case
+     *    is then rounded to the destination precision.
+     *    </ul>
+     *  </ul>
+     * @param n power to raise this {@code BigDecimal} to.
+     * @param mc the context to use.
+     * @return <tt>this<sup>n</sup></tt> using the ANSI standard X3.274-1996&#xA; algorithm
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}, or {@code n} is out&#xA; of range.
+     * @since 1.5
+     */
+    pow(n: number, mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is the absolute value
+     *  of this {@code BigDecimal}, and whose scale is
+     *  {@code this.scale()}.
+     * @return {@code abs(this)}
+     */
+    abs(): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is the absolute value
+     *  of this {@code BigDecimal}, with rounding according to the
+     *  context settings.
+     * @param mc the context to use.
+     * @return {@code abs(this)}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @since 1.5
+     */
+    abs(mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (-this)},
+     *  and whose scale is {@code this.scale()}.
+     * @return {@code -this}.
+     */
+    negate(): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (-this)},
+     *  with rounding according to the context settings.
+     * @param mc the context to use.
+     * @return {@code -this}, rounded as necessary.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @since 1.5
+     */
+    negate(mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (+this)}, and whose
+     *  scale is {@code this.scale()}.
+     *
+     *  <p>This method, which simply returns this {@code BigDecimal}
+     *  is included for symmetry with the unary minus method {@link
+     *  #negate()}.
+     * @return {@code this}.
+     * @see #negate()
+     * @since 1.5
+     */
+    plus(): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose value is {@code (+this)},
+     *  with rounding according to the context settings.
+     *
+     *  <p>The effect of this method is identical to that of the {@link
+     *  #round(MathContext)} method.
+     * @param mc the context to use.
+     * @return {@code this}, rounded as necessary. A zero result will&#xA; have a scale of 0.
+     * @throws ArithmeticException if the result is inexact but the&#xA; rounding mode is {@code UNNECESSARY}.
+     * @see #round(MathContext)
+     * @since 1.5
+     */
+    plus(mc: MathContext): BigDecimal;
+
+    /**
+     * Returns the signum function of this {@code BigDecimal}.
+     * @return -1, 0, or 1 as the value of this {@code BigDecimal}&#xA; is negative, zero, or positive.
+     */
+    signum(): number;
+
+    /**
+     * Returns the <i>scale</i> of this {@code BigDecimal}.  If zero
+     *  or positive, the scale is the number of digits to the right of
+     *  the decimal point.  If negative, the unscaled value of the
+     *  number is multiplied by ten to the power of the negation of the
+     *  scale.  For example, a scale of {@code -3} means the unscaled
+     *  value is multiplied by 1000.
+     * @return the scale of this {@code BigDecimal}.
+     */
+    scale(): number;
+
+    /**
+     * Returns the <i>precision</i> of this {@code BigDecimal}.  (The
+     *  precision is the number of digits in the unscaled value.)
+     *
+     *  <p>The precision of a zero value is 1.
+     * @return the precision of this {@code BigDecimal}.
+     * @since 1.5
+     */
+    precision(): number;
+
+    /**
+     * Returns a {@code BigInteger} whose value is the <i>unscaled
+     *  value</i> of this {@code BigDecimal}.  (Computes <tt>(this *
+     *  10<sup>this.scale()</sup>)</tt>.)
+     * @return the unscaled value of this {@code BigDecimal}.
+     * @since 1.2
+     */
+    unscaledValue(): BigInteger;
+
+    /**
+     * Returns a {@code BigDecimal} rounded according to the
+     *  {@code MathContext} settings.  If the precision setting is 0 then
+     *  no rounding takes place.
+     *
+     *  <p>The effect of this method is identical to that of the
+     *  {@link #plus(MathContext)} method.
+     * @param mc the context to use.
+     * @return a {@code BigDecimal} rounded according to the&#xA; {@code MathContext} settings.
+     * @throws ArithmeticException if the rounding mode is&#xA; {@code UNNECESSARY} and the&#xA; {@code BigDecimal} operation would require rounding.
+     * @see #plus(MathContext)
+     * @since 1.5
+     */
+    round(mc: MathContext): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose scale is the specified
+     *  value, and whose unscaled value is determined by multiplying or
+     *  dividing this {@code BigDecimal}'s unscaled value by the
+     *  appropriate power of ten to maintain its overall value.  If the
+     *  scale is reduced by the operation, the unscaled value must be
+     *  divided (rather than multiplied), and the value may be changed;
+     *  in this case, the specified rounding mode is applied to the
+     *  division.
+     *
+     *  <p>Note that since BigDecimal objects are immutable, calls of
+     *  this method do <i>not</i> result in the original object being
+     *  modified, contrary to the usual convention of having methods
+     *  named <tt>set<i>X</i></tt> mutate field <i>{@code X}</i>.
+     *  Instead, {@code setScale} returns an object with the proper
+     *  scale; the returned object may or may not be newly allocated.
+     * @param newScale scale of the {@code BigDecimal} value to be returned.
+     * @param roundingMode The rounding mode to apply.
+     * @return a {@code BigDecimal} whose scale is the specified value,&#xA; and whose unscaled value is determined by multiplying or&#xA; dividing this {@code BigDecimal}'s unscaled value by the&#xA; appropriate power of ten to maintain its overall value.
+     * @throws ArithmeticException if {@code roundingMode==UNNECESSARY}&#xA; and the specified scaling operation would require&#xA; rounding.
+     * @see RoundingMode
+     * @since 1.5
+     */
+    setScale(newScale: number, roundingMode: RoundingMode): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose scale is the specified
+     *  value, and whose unscaled value is determined by multiplying or
+     *  dividing this {@code BigDecimal}'s unscaled value by the
+     *  appropriate power of ten to maintain its overall value.  If the
+     *  scale is reduced by the operation, the unscaled value must be
+     *  divided (rather than multiplied), and the value may be changed;
+     *  in this case, the specified rounding mode is applied to the
+     *  division.
+     *
+     *  <p>Note that since BigDecimal objects are immutable, calls of
+     *  this method do <i>not</i> result in the original object being
+     *  modified, contrary to the usual convention of having methods
+     *  named <tt>set<i>X</i></tt> mutate field <i>{@code X}</i>.
+     *  Instead, {@code setScale} returns an object with the proper
+     *  scale; the returned object may or may not be newly allocated.
+     *
+     *  <p>The new {@link #setScale(int, RoundingMode)} method should
+     *  be used in preference to this legacy method.
+     * @param newScale scale of the {@code BigDecimal} value to be returned.
+     * @param roundingMode The rounding mode to apply.
+     * @return a {@code BigDecimal} whose scale is the specified value,&#xA; and whose unscaled value is determined by multiplying or&#xA; dividing this {@code BigDecimal}'s unscaled value by the&#xA; appropriate power of ten to maintain its overall value.
+     * @throws ArithmeticException if {@code roundingMode==ROUND_UNNECESSARY}&#xA; and the specified scaling operation would require&#xA; rounding.
+     * @throws IllegalArgumentException if {@code roundingMode} does not&#xA; represent a valid rounding mode.
+     * @see #ROUND_UP
+     * @see #ROUND_DOWN
+     * @see #ROUND_CEILING
+     * @see #ROUND_FLOOR
+     * @see #ROUND_HALF_UP
+     * @see #ROUND_HALF_DOWN
+     * @see #ROUND_HALF_EVEN
+     * @see #ROUND_UNNECESSARY
+     */
+    setScale(newScale: number, roundingMode: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} whose scale is the specified
+     *  value, and whose value is numerically equal to this
+     *  {@code BigDecimal}'s.  Throws an {@code ArithmeticException}
+     *  if this is not possible.
+     *
+     *  <p>This call is typically used to increase the scale, in which
+     *  case it is guaranteed that there exists a {@code BigDecimal}
+     *  of the specified scale and the correct value.  The call can
+     *  also be used to reduce the scale if the caller knows that the
+     *  {@code BigDecimal} has sufficiently many zeros at the end of
+     *  its fractional part (i.e., factors of ten in its integer value)
+     *  to allow for the rescaling without changing its value.
+     *
+     *  <p>This method returns the same result as the two-argument
+     *  versions of {@code setScale}, but saves the caller the trouble
+     *  of specifying a rounding mode in cases where it is irrelevant.
+     *
+     *  <p>Note that since {@code BigDecimal} objects are immutable,
+     *  calls of this method do <i>not</i> result in the original
+     *  object being modified, contrary to the usual convention of
+     *  having methods named <tt>set<i>X</i></tt> mutate field
+     *  <i>{@code X}</i>.  Instead, {@code setScale} returns an
+     *  object with the proper scale; the returned object may or may
+     *  not be newly allocated.
+     * @param newScale scale of the {@code BigDecimal} value to be returned.
+     * @return a {@code BigDecimal} whose scale is the specified value, and&#xA; whose unscaled value is determined by multiplying or dividing&#xA; this {@code BigDecimal}'s unscaled value by the appropriate&#xA; power of ten to maintain its overall value.
+     * @throws ArithmeticException if the specified scaling operation would&#xA; require rounding.
+     * @see #setScale(int, int)
+     * @see #setScale(int, RoundingMode)
+     */
+    setScale(newScale: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} which is equivalent to this one
+     *  with the decimal point moved {@code n} places to the left.  If
+     *  {@code n} is non-negative, the call merely adds {@code n} to
+     *  the scale.  If {@code n} is negative, the call is equivalent
+     *  to {@code movePointRight(-n)}.  The {@code BigDecimal}
+     *  returned by this call has value <tt>(this &times;
+     *  10<sup>-n</sup>)</tt> and scale {@code max(this.scale()+n,
+     *  0)}.
+     * @param n number of places to move the decimal point to the left.
+     * @return a {@code BigDecimal} which is equivalent to this one with the&#xA; decimal point moved {@code n} places to the left.
+     * @throws ArithmeticException if scale overflows.
+     */
+    movePointLeft(n: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} which is equivalent to this one
+     *  with the decimal point moved {@code n} places to the right.
+     *  If {@code n} is non-negative, the call merely subtracts
+     *  {@code n} from the scale.  If {@code n} is negative, the call
+     *  is equivalent to {@code movePointLeft(-n)}.  The
+     *  {@code BigDecimal} returned by this call has value <tt>(this
+     *  &times; 10<sup>n</sup>)</tt> and scale {@code max(this.scale()-n,
+     *  0)}.
+     * @param n number of places to move the decimal point to the right.
+     * @return a {@code BigDecimal} which is equivalent to this one&#xA; with the decimal point moved {@code n} places to the right.
+     * @throws ArithmeticException if scale overflows.
+     */
+    movePointRight(n: number): BigDecimal;
+
+    /**
+     * Returns a BigDecimal whose numerical value is equal to
+     *  ({@code this} * 10<sup>n</sup>).  The scale of
+     *  the result is {@code (this.scale() - n)}.
+     * @param n the exponent power of ten to scale by
+     * @return a BigDecimal whose numerical value is equal to&#xA; ({@code this} * 10<sup>n</sup>)
+     * @throws ArithmeticException if the scale would be&#xA; outside the range of a 32-bit integer.
+     * @since 1.5
+     */
+    scaleByPowerOfTen(n: number): BigDecimal;
+
+    /**
+     * Returns a {@code BigDecimal} which is numerically equal to
+     *  this one but with any trailing zeros removed from the
+     *  representation.  For example, stripping the trailing zeros from
+     *  the {@code BigDecimal} value {@code 600.0}, which has
+     *  [{@code BigInteger}, {@code scale}] components equals to
+     *  [6000, 1], yields {@code 6E2} with [{@code BigInteger},
+     *  {@code scale}] components equals to [6, -2].  If
+     *  this BigDecimal is numerically equal to zero, then
+     *  {@code BigDecimal.ZERO} is returned.
+     * @return a numerically equal {@code BigDecimal} with any&#xA; trailing zeros removed.
+     * @since 1.5
+     */
+    stripTrailingZeros(): BigDecimal;
+
+    /**
+     * Compares this {@code BigDecimal} with the specified
+     *  {@code BigDecimal}.  Two {@code BigDecimal} objects that are
+     *  equal in value but have a different scale (like 2.0 and 2.00)
+     *  are considered equal by this method.  This method is provided
+     *  in preference to individual methods for each of the six boolean
+     *  comparison operators ({@literal <}, ==,
+     *  {@literal >}, {@literal >=}, !=, {@literal <=}).  The
+     *  suggested idiom for performing these comparisons is:
+     *  {@code (x.compareTo(y)} &lt;<i>op</i>&gt; {@code 0)}, where
+     *  &lt;<i>op</i>&gt; is one of the six comparison operators.
+     * @param val {@code BigDecimal} to which this {@code BigDecimal} is&#xA; to be compared.
+     * @return -1, 0, or 1 as this {@code BigDecimal} is numerically&#xA; less than, equal to, or greater than {@code val}.
+     */
+    compareTo(val: BigDecimal): number;
+
+    /**
+     * Compares this {@code BigDecimal} with the specified
+     *  {@code Object} for equality.  Unlike {@link
+     *  #compareTo(BigDecimal) compareTo}, this method considers two
+     *  {@code BigDecimal} objects equal only if they are equal in
+     *  value and scale (thus 2.0 is not equal to 2.00 when compared by
+     *  this method).
+     * @param x {@code Object} to which this {@code BigDecimal} is&#xA; to be compared.
+     * @return {@code true} if and only if the specified {@code Object} is a&#xA; {@code BigDecimal} whose value and scale are equal to this&#xA; {@code BigDecimal}'s.
+     * @see #compareTo(java.math.BigDecimal)
+     * @see #hashCode
+     */
+    equals(x: unknown): boolean;
+
+    /**
+     * Returns the minimum of this {@code BigDecimal} and
+     *  {@code val}.
+     * @param val value with which the minimum is to be computed.
+     * @return the {@code BigDecimal} whose value is the lesser of this&#xA; {@code BigDecimal} and {@code val}. If they are equal,&#xA; as defined by the {@link #compareTo(BigDecimal) compareTo}&#xA; method, {@code this} is returned.
+     * @see #compareTo(java.math.BigDecimal)
+     */
+    min(val: BigDecimal): BigDecimal;
+
+    /**
+     * Returns the maximum of this {@code BigDecimal} and {@code val}.
+     * @param val value with which the maximum is to be computed.
+     * @return the {@code BigDecimal} whose value is the greater of this&#xA; {@code BigDecimal} and {@code val}. If they are equal,&#xA; as defined by the {@link #compareTo(BigDecimal) compareTo}&#xA; method, {@code this} is returned.
+     * @see #compareTo(java.math.BigDecimal)
+     */
+    max(val: BigDecimal): BigDecimal;
+
+    /**
+     * Returns the hash code for this {@code BigDecimal}.  Note that
+     *  two {@code BigDecimal} objects that are numerically equal but
+     *  differ in scale (like 2.0 and 2.00) will generally <i>not</i>
+     *  have the same hash code.
+     * @return hash code for this {@code BigDecimal}.
+     * @see #equals(Object)
+     */
+    hashCode(): number;
+
+    /**
+     * Returns the string representation of this {@code BigDecimal},
+     *  using scientific notation if an exponent is needed.
+     *
+     *  <p>A standard canonical string form of the {@code BigDecimal}
+     *  is created as though by the following steps: first, the
+     *  absolute value of the unscaled value of the {@code BigDecimal}
+     *  is converted to a string in base ten using the characters
+     *  {@code '0'} through {@code '9'} with no leading zeros (except
+     *  if its value is zero, in which case a single {@code '0'}
+     *  character is used).
+     *
+     *  <p>Next, an <i>adjusted exponent</i> is calculated; this is the
+     *  negated scale, plus the number of characters in the converted
+     *  unscaled value, less one.  That is,
+     *  {@code -scale+(ulength-1)}, where {@code ulength} is the
+     *  length of the absolute value of the unscaled value in decimal
+     *  digits (its <i>precision</i>).
+     *
+     *  <p>If the scale is greater than or equal to zero and the
+     *  adjusted exponent is greater than or equal to {@code -6}, the
+     *  number will be converted to a character form without using
+     *  exponential notation.  In this case, if the scale is zero then
+     *  no decimal point is added and if the scale is positive a
+     *  decimal point will be inserted with the scale specifying the
+     *  number of characters to the right of the decimal point.
+     *  {@code '0'} characters are added to the left of the converted
+     *  unscaled value as necessary.  If no character precedes the
+     *  decimal point after this insertion then a conventional
+     *  {@code '0'} character is prefixed.
+     *
+     *  <p>Otherwise (that is, if the scale is negative, or the
+     *  adjusted exponent is less than {@code -6}), the number will be
+     *  converted to a character form using exponential notation.  In
+     *  this case, if the converted {@code BigInteger} has more than
+     *  one digit a decimal point is inserted after the first digit.
+     *  An exponent in character form is then suffixed to the converted
+     *  unscaled value (perhaps with inserted decimal point); this
+     *  comprises the letter {@code 'E'} followed immediately by the
+     *  adjusted exponent converted to a character form.  The latter is
+     *  in base ten, using the characters {@code '0'} through
+     *  {@code '9'} with no leading zeros, and is always prefixed by a
+     *  sign character {@code '-'} (<tt>'&#92;u002D'</tt>) if the
+     *  adjusted exponent is negative, {@code '+'}
+     *  (<tt>'&#92;u002B'</tt>) otherwise).
+     *
+     *  <p>Finally, the entire string is prefixed by a minus sign
+     *  character {@code '-'} (<tt>'&#92;u002D'</tt>) if the unscaled
+     *  value is less than zero.  No sign character is prefixed if the
+     *  unscaled value is zero or positive.
+     *
+     *  <p><b>Examples:</b>
+     *  <p>For each representation [<i>unscaled value</i>, <i>scale</i>]
+     *  on the left, the resulting string is shown on the right.
+     *  <pre>
+     *  [123,0]      "123"
+     *  [-123,0]     "-123"
+     *  [123,-1]     "1.23E+3"
+     *  [123,-3]     "1.23E+5"
+     *  [123,1]      "12.3"
+     *  [123,5]      "0.00123"
+     *  [123,10]     "1.23E-8"
+     *  [-123,12]    "-1.23E-10"
+     *  </pre>
+     *
+     *  <b>Notes:</b>
+     *  <ol>
+     *
+     *  <li>There is a one-to-one mapping between the distinguishable
+     *  {@code BigDecimal} values and the result of this conversion.
+     *  That is, every distinguishable {@code BigDecimal} value
+     *  (unscaled value and scale) has a unique string representation
+     *  as a result of using {@code toString}.  If that string
+     *  representation is converted back to a {@code BigDecimal} using
+     *  the {@link #BigDecimal(String)} constructor, then the original
+     *  value will be recovered.
+     *
+     *  <li>The string produced for a given number is always the same;
+     *  it is not affected by locale.  This means that it can be used
+     *  as a canonical string representation for exchanging decimal
+     *  data, or as a key for a Hashtable, etc.  Locale-sensitive
+     *  number formatting and parsing is handled by the {@link
+     *  java.text.NumberFormat} class and its subclasses.
+     *
+     *  <li>The {@link #toEngineeringString} method may be used for
+     *  presenting numbers with exponents in engineering notation, and the
+     *  {@link #setScale(int,RoundingMode) setScale} method may be used for
+     *  rounding a {@code BigDecimal} so it has a known number of digits after
+     *  the decimal point.
+     *
+     *  <li>The digit-to-character mapping provided by
+     *  {@code Character.forDigit} is used.
+     *
+     *  </ol>
+     * @return string representation of this {@code BigDecimal}.
+     * @see Character#forDigit
+     * @see #BigDecimal(java.lang.String)
+     */
+    toString(): string;
+
+    /**
+     * Returns a string representation of this {@code BigDecimal},
+     *  using engineering notation if an exponent is needed.
+     *
+     *  <p>Returns a string that represents the {@code BigDecimal} as
+     *  described in the {@link #toString()} method, except that if
+     *  exponential notation is used, the power of ten is adjusted to
+     *  be a multiple of three (engineering notation) such that the
+     *  integer part of nonzero values will be in the range 1 through
+     *  999.  If exponential notation is used for zero values, a
+     *  decimal point and one or two fractional zero digits are used so
+     *  that the scale of the zero value is preserved.  Note that
+     *  unlike the output of {@link #toString()}, the output of this
+     *  method is <em>not</em> guaranteed to recover the same [integer,
+     *  scale] pair of this {@code BigDecimal} if the output string is
+     *  converting back to a {@code BigDecimal} using the {@linkplain
+     *  #BigDecimal(String) string constructor}.  The result of this method meets
+     *  the weaker constraint of always producing a numerically equal
+     *  result from applying the string constructor to the method's output.
+     * @return string representation of this {@code BigDecimal}, using&#xA; engineering notation if an exponent is needed.
+     * @since 1.5
+     */
+    toEngineeringString(): string;
+
+    /**
+     * Returns a string representation of this {@code BigDecimal}
+     *  without an exponent field.  For values with a positive scale,
+     *  the number of digits to the right of the decimal point is used
+     *  to indicate scale.  For values with a zero or negative scale,
+     *  the resulting string is generated as if the value were
+     *  converted to a numerically equal value with zero scale and as
+     *  if all the trailing zeros of the zero scale value were present
+     *  in the result.
+     *
+     *  The entire string is prefixed by a minus sign character '-'
+     *  (<tt>'&#92;u002D'</tt>) if the unscaled value is less than
+     *  zero. No sign character is prefixed if the unscaled value is
+     *  zero or positive.
+     *
+     *  Note that if the result of this method is passed to the
+     *  {@linkplain #BigDecimal(String) string constructor}, only the
+     *  numerical value of this {@code BigDecimal} will necessarily be
+     *  recovered; the representation of the new {@code BigDecimal}
+     *  may have a different scale.  In particular, if this
+     *  {@code BigDecimal} has a negative scale, the string resulting
+     *  from this method will have a scale of zero when processed by
+     *  the string constructor.
+     *
+     *  (This method behaves analogously to the {@code toString}
+     *  method in 1.4 and earlier releases.)
+     * @return a string representation of this {@code BigDecimal}&#xA; without an exponent field.
+     * @since 1.5
+     * @see #toString()
+     * @see #toEngineeringString()
+     */
+    toPlainString(): string;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code BigInteger}.
+     *  This conversion is analogous to the
+     *  <i>narrowing primitive conversion</i> from {@code double} to
+     *  {@code long} as defined in section 5.1.3 of
+     *  <cite>The Java&trade; Language Specification</cite>:
+     *  any fractional part of this
+     *  {@code BigDecimal} will be discarded.  Note that this
+     *  conversion can lose information about the precision of the
+     *  {@code BigDecimal} value.
+     *  <p>
+     *  To have an exception thrown if the conversion is inexact (in
+     *  other words if a nonzero fractional part is discarded), use the
+     *  {@link #toBigIntegerExact()} method.
+     * @return this {@code BigDecimal} converted to a {@code BigInteger}.
+     */
+    toBigInteger(): BigInteger;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code BigInteger},
+     *  checking for lost information.  An exception is thrown if this
+     *  {@code BigDecimal} has a nonzero fractional part.
+     * @return this {@code BigDecimal} converted to a {@code BigInteger}.
+     * @throws ArithmeticException if {@code this} has a nonzero&#xA; fractional part.
+     * @since 1.5
+     */
+    toBigIntegerExact(): BigInteger;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code long}.
+     *  This conversion is analogous to the
+     *  <i>narrowing primitive conversion</i> from {@code double} to
+     *  {@code short} as defined in section 5.1.3 of
+     *  <cite>The Java&trade; Language Specification</cite>:
+     *  any fractional part of this
+     *  {@code BigDecimal} will be discarded, and if the resulting
+     *  "{@code BigInteger}" is too big to fit in a
+     *  {@code long}, only the low-order 64 bits are returned.
+     *  Note that this conversion can lose information about the
+     *  overall magnitude and precision of this {@code BigDecimal} value as well
+     *  as return a result with the opposite sign.
+     * @return this {@code BigDecimal} converted to a {@code long}.
+     */
+    longValue(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code long}, checking
+     *  for lost information.  If this {@code BigDecimal} has a
+     *  nonzero fractional part or is out of the possible range for a
+     *  {@code long} result then an {@code ArithmeticException} is
+     *  thrown.
+     * @return this {@code BigDecimal} converted to a {@code long}.
+     * @throws ArithmeticException if {@code this} has a nonzero&#xA; fractional part, or will not fit in a {@code long}.
+     * @since 1.5
+     */
+    longValueExact(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to an {@code int}.
+     *  This conversion is analogous to the
+     *  <i>narrowing primitive conversion</i> from {@code double} to
+     *  {@code short} as defined in section 5.1.3 of
+     *  <cite>The Java&trade; Language Specification</cite>:
+     *  any fractional part of this
+     *  {@code BigDecimal} will be discarded, and if the resulting
+     *  "{@code BigInteger}" is too big to fit in an
+     *  {@code int}, only the low-order 32 bits are returned.
+     *  Note that this conversion can lose information about the
+     *  overall magnitude and precision of this {@code BigDecimal}
+     *  value as well as return a result with the opposite sign.
+     * @return this {@code BigDecimal} converted to an {@code int}.
+     */
+    intValue(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to an {@code int}, checking
+     *  for lost information.  If this {@code BigDecimal} has a
+     *  nonzero fractional part or is out of the possible range for an
+     *  {@code int} result then an {@code ArithmeticException} is
+     *  thrown.
+     * @return this {@code BigDecimal} converted to an {@code int}.
+     * @throws ArithmeticException if {@code this} has a nonzero&#xA; fractional part, or will not fit in an {@code int}.
+     * @since 1.5
+     */
+    intValueExact(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code short}, checking
+     *  for lost information.  If this {@code BigDecimal} has a
+     *  nonzero fractional part or is out of the possible range for a
+     *  {@code short} result then an {@code ArithmeticException} is
+     *  thrown.
+     * @return this {@code BigDecimal} converted to a {@code short}.
+     * @throws ArithmeticException if {@code this} has a nonzero&#xA; fractional part, or will not fit in a {@code short}.
+     * @since 1.5
+     */
+    shortValueExact(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code byte}, checking
+     *  for lost information.  If this {@code BigDecimal} has a
+     *  nonzero fractional part or is out of the possible range for a
+     *  {@code byte} result then an {@code ArithmeticException} is
+     *  thrown.
+     * @return this {@code BigDecimal} converted to a {@code byte}.
+     * @throws ArithmeticException if {@code this} has a nonzero&#xA; fractional part, or will not fit in a {@code byte}.
+     * @since 1.5
+     */
+    byteValueExact(): unknown;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code float}.
+     *  This conversion is similar to the
+     *  <i>narrowing primitive conversion</i> from {@code double} to
+     *  {@code float} as defined in section 5.1.3 of
+     *  <cite>The Java&trade; Language Specification</cite>:
+     *  if this {@code BigDecimal} has too great a
+     *  magnitude to represent as a {@code float}, it will be
+     *  converted to {@link Float#NEGATIVE_INFINITY} or {@link
+     *  Float#POSITIVE_INFINITY} as appropriate.  Note that even when
+     *  the return value is finite, this conversion can lose
+     *  information about the precision of the {@code BigDecimal}
+     *  value.
+     * @return this {@code BigDecimal} converted to a {@code float}.
+     */
+    floatValue(): number;
+
+    /**
+     * Converts this {@code BigDecimal} to a {@code double}.
+     *  This conversion is similar to the
+     *  <i>narrowing primitive conversion</i> from {@code double} to
+     *  {@code float} as defined in section 5.1.3 of
+     *  <cite>The Java&trade; Language Specification</cite>:
+     *  if this {@code BigDecimal} has too great a
+     *  magnitude represent as a {@code double}, it will be
+     *  converted to {@link Double#NEGATIVE_INFINITY} or {@link
+     *  Double#POSITIVE_INFINITY} as appropriate.  Note that even when
+     *  the return value is finite, this conversion can lose
+     *  information about the precision of the {@code BigDecimal}
+     *  value.
+     * @return this {@code BigDecimal} converted to a {@code double}.
+     */
+    doubleValue(): number;
+
+    /**
+     * Returns the size of an ulp, a unit in the last place, of this
+     *  {@code BigDecimal}.  An ulp of a nonzero {@code BigDecimal}
+     *  value is the positive distance between this value and the
+     *  {@code BigDecimal} value next larger in magnitude with the
+     *  same number of digits.  An ulp of a zero value is numerically
+     *  equal to 1 with the scale of {@code this}.  The result is
+     *  stored with the same scale as {@code this} so the result
+     *  for zero and nonzero values is equal to {@code [1,
+     *  this.scale()]}.
+     * @return the size of an ulp of {@code this}
+     * @since 1.5
+     */
+    ulp(): BigDecimal;
+
+    /**
+     * The value 0, with a scale of 0.
+     * @since 1.5
+     */
+    ZERO: BigDecimal;
+
+    /**
+     * The value 1, with a scale of 0.
+     * @since 1.5
+     */
+    ONE: BigDecimal;
+
+    /**
+     * The value 10, with a scale of 0.
+     * @since 1.5
+     */
+    TEN: BigDecimal;
+
+    /**
+ * Rounding mode to round away from zero.  Always increments the
+ *  digit prior to a nonzero discarded fraction.  Note that this rounding
+ *  mode never decreases the magnitude of the calculated value.
+  
+    */
+    ROUND_UP: number;
+
+    /**
+ * Rounding mode to round towards zero.  Never increments the digit
+ *  prior to a discarded fraction (i.e., truncates).  Note that this
+ *  rounding mode never increases the magnitude of the calculated value.
+  
+    */
+    ROUND_DOWN: number;
+
+    /**
+ * Rounding mode to round towards positive infinity.  If the
+ *  {@code BigDecimal} is positive, behaves as for
+ *  {@code ROUND_UP}; if negative, behaves as for
+ *  {@code ROUND_DOWN}.  Note that this rounding mode never
+ *  decreases the calculated value.
+  
+    */
+    ROUND_CEILING: number;
+
+    /**
+ * Rounding mode to round towards negative infinity.  If the
+ *  {@code BigDecimal} is positive, behave as for
+ *  {@code ROUND_DOWN}; if negative, behave as for
+ *  {@code ROUND_UP}.  Note that this rounding mode never
+ *  increases the calculated value.
+  
+    */
+    ROUND_FLOOR: number;
+
+    /**
+ * Rounding mode to round towards {@literal "nearest neighbor"}
+ *  unless both neighbors are equidistant, in which case round up.
+ *  Behaves as for {@code ROUND_UP} if the discarded fraction is
+ *  &ge; 0.5; otherwise, behaves as for {@code ROUND_DOWN}.  Note
+ *  that this is the rounding mode that most of us were taught in
+ *  grade school.
+  
+    */
+    ROUND_HALF_UP: number;
+
+    /**
+ * Rounding mode to round towards {@literal "nearest neighbor"}
+ *  unless both neighbors are equidistant, in which case round
+ *  down.  Behaves as for {@code ROUND_UP} if the discarded
+ *  fraction is {@literal >} 0.5; otherwise, behaves as for
+ *  {@code ROUND_DOWN}.
+  
+    */
+    ROUND_HALF_DOWN: number;
+
+    /**
+ * Rounding mode to round towards the {@literal "nearest neighbor"}
+ *  unless both neighbors are equidistant, in which case, round
+ *  towards the even neighbor.  Behaves as for
+ *  {@code ROUND_HALF_UP} if the digit to the left of the
+ *  discarded fraction is odd; behaves as for
+ *  {@code ROUND_HALF_DOWN} if it's even.  Note that this is the
+ *  rounding mode that minimizes cumulative error when applied
+ *  repeatedly over a sequence of calculations.
+  
+    */
+    ROUND_HALF_EVEN: number;
+
+    /**
+ * Rounding mode to assert that the requested operation has an exact
+ *  result, hence no rounding is necessary.  If this rounding mode is
+ *  specified on an operation that yields an inexact result, an
+ *  {@code ArithmeticException} is thrown.
+  
+    */
+    ROUND_UNNECESSARY: number;
+  };