A few years ago, due to some random chain of events, I ended up implementing a conversion from 128 bit integers to 64 bit floats.
This would’ve turned out to be a complete waste of time,
except that my final version is faster than the builtin conversion of…