つまり、ieee 754形式で表現する値は