[PATCH v4 4/9] Do not redirect calls to __GI_* symbols, when redirecting to *ieee128

[Gabriel F. T. Gomes]

On Mon, 23 Dec 2019, Tulio Magno Quites Machado Filho wrote:
>
>Although I'm the original author of this patch, the changes that Gabriel
>did later LGTM.

Thanks for ack'ing that. :)

I have now committed this version.