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