fix floating point number conversion from single to double type