deprecate old rounding, document new usage