Comment 3 for bug 1915927

> IMO the cleanest fix is changing the ABI to let float_t be float and providing the shared library using a different name, at least on s390x.

this is against libc advice, and IBM recommendation. It would unnecessary cause an ABI break, requiring ABI transitions.

It is best for ABI to have stability continuity such that we don't need to bump sonames.

It should be left up to upstream to break ABI and bump soname with a new version, together with any other changes they want to make.