Part of the Nashorn runtime performance effort is to add VM intrinsics for the addExact, mulExact and subExact methods in java.lang.Math. We would of course like as much integer/long arithmetic with overflow exceptions as possible in java.lang.Math for intrinsification, so if these methods that were previously proposed could be put back, that'd be great.
The addExact intrinsic is basically
add eax, edx
ret //normal path
See also: http://blog.joda.org/2012/02/jdk-helper-math-methods.html
unary +, unary -, ++, --, add, div, mod, mul, sub, div
The unary plus that behaves like negateExact (but doesn't negate) would be useful to us all, as well as various comparison operations ifleExact(int, int), but they obviously don't belong in Math. I'm just mentioning them as reference.