printf"%.14e",2**-54