printf('%.14e',2^-54)