more hacks on libm :)