Попробую объяснить на пальцах
1) Min и Max - это границы, в которых у нас гуляет значение счетчика(FCounter)
2) Это значение после загрузки программы становится равным Default (на то он и Default )
3) FCounter можно установить во время выполнения программы с помощью метода doValue
4) Конечно, в результате выполнения doMax, doMin и doValue это значение может выйти за границы счетчика. Это можно исправить, просто уставновив проверку в соответствующие методы. Тогда у пользователей не будет возникать вопроса, почему счетчик считает с Default, а не с Min