ieee 754:2008でbinary64として標準化されたパラメータは次の通りである。