7961: watch for rounding corner case
Merge pull request #7962 from smichr/7961

7961: watch for rounding corner case