Minimum negative integer such that RADIX raised by power one less than that integer is a normalized double