Да, но это сказано про целочисленное деление, а про fDiv ни чего не сказано. Для целочисленного вроде бы и логично если так как сказано, но в симуляторе при делении на "0" дает "0", и это напрягает. Так что на самом деле? Я не проверял на ПР, а на симуляторе дает "0", что не соответствует описанию ОЛ.