let x = 1e49, let y = floor(log_2(x)), 2^y + ceil((x - 2^y) / 2^(y - 52)) * 2^(y - 52)