Towards the Post-Ultimate libm. - Florent de Dinechin; Alexey V. Ershov; Nicolas Gast (IEEE Symposium on Computer Arithmetic, 2005)