Improved conversion from 80-bit float to long double.