softfloat: add int128_to_float128