Isn't it basic math that .5 should round up?