public static Object SAFE_PLUS_FX( int n1, int n2 ) { try { return BINT(checked(n1 + n2)); } catch (OverflowException e) { return PLUS_BIGNUM(new bignum(n1), new bignum(n2)); } }