Maximum positive integer such that RADIX raised by power one more than that integer is a normalized double