I did a double check on all my extended precision math and am adding the custom exceptions to the native library as well. Found an error in one of my bounds, then did all the calculations again to see if all the bounds were indeed correct. This time around they should be. The bounds have shrunk a little bit and the number of bits to handle the worst cases did grow to about 320 bits. It is not the end of the world, but it should all be nice and rigid for all my inputs.