softfloat: add uint128_to_float128