This allows replacing a function that has N results with N instructions with the same result type. It also narrows down typing, so that instructions creating F32/F64 values are replaced with a constant of the correct type.
This allows replacing a function that has N results with N instructions with the same result type. It also narrows down typing, so that instructions creating F32/F64 values are replaced with a constant of the correct type.