Всё равно не нравится такое упрощение. Даже для целочисленных радиусов можно угодить в яму при разнице в единицу из-за соприкасания границ по пиксельной сетке. Потому и нужны идеальные окружности, помимо других упрощений, они не делают нерешаемым граничный случай (no pun intended).