fixes in libm