(1 / 2 ) + sqrt( 1 / 4 + 2 * ln( 2 ) * 2^52 )