libm: fix double rounding description