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