Please see the updated webrev http://cr.openjdk.java.net/~bpb/8030814/webrev.3/.
Hopefully my verbose description of the very clever overflow test is accurate and understandable. Also, I cleaned up the JTREG test a bit and added some tests based on the boundary values which split the range of the quantity "guard." Thanks, Brian