(1e-10)/((1 / 2**(127 - 1 + 23))/(1 / 2**(1023 - 1 + 52