ROUNDING tests now pass for all configurations; simplify rounding code slightly