Exceptional Argument   Routine Behavior

    x < 0                  Invalid argument
    x = 0                  Overflow
    1+y < 0                Invalid argument
    1+y = 0                Overflow