Почему C # позволяет делить ненулевое число на ноль в типе с плавающей запятой?

Почему C # позволяет:

1.0 / 0 // Infinity

И не позволяет:

1 / 0 // Division by constant zero [Compile time error]

Математически, есть ли есть ли различия между целыми числами и числами с плавающей запятой при делении на ноль?