Три рубля, ну, при вводе поля действительных чисел аксиоматически (а не на основе, например, аксиом натуральных чисел) деление на ноль прямо запрещается. То есть, см. здесь прямо написано, что для нуля нет обратного элемента. При конструктивном подходе тоже должно получаться примерно такое же, там основывается на натуральных числах, натуральные числа - это аксиомы Пеано, где деление вообще конструируется на базе сложения, соответственно, никакого деления на ноль принципиально существовать не может.