libm: add logb to the correctly rounded list