Issue #7048: logb should round its result when that result doesn't fit