Sun libmcr (correctly rounded libm)