write(2^-54.);