conversion from ieee754 to double