RFR: 8335451: Prototype support for an exact integer arithmetic type [v3]

[Joe Darcy]

> The Math class has support for "exact" forms of int and long add, subtract, multiply, and divide that throw exceptions instead of wrapping around in a two's complement sense. This nested class in Integer prototype what adding type-level support for that functionality would look like.

Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:

  Add witnesses, etc.

-------------

Changes:
  - all: https://git.openjdk.org/valhalla/pull/1937/files
  - new: https://git.openjdk.org/valhalla/pull/1937/files/15efdf80..2e511bab

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1937&range=02
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1937&range=01-02

  Stats: 141 lines in 1 file changed: 140 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/valhalla/pull/1937.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1937/head:pull/1937

PR: https://git.openjdk.org/valhalla/pull/1937