softfloat: add float128_to_uint128