softfloat: add float128_to_int128