Symbol: uint32_to_float128