Added sf_int32_to_float64_fpu identical to sf_int32_to_float64 but with fpu state passthrough.
Added sf_int32_to_float64_fpu identical to sf_int32_to_float64 but with fpu state passthrough.

sharemind-sdk/libsoftfloat,sharemind-sdk/libsoftfloat