your explanation makes sense, however python doesn't allow division of floating point number by 0 either:

  >>> type(1.0)
  <class 'float'>
  >>> 1.0/0
  Traceback (most recent call last):
    File "<stdin>", line 1, in <module>
  ZeroDivisionError: float division by zero

However numpy lets you do it - it is only a warning

  >>> import numpy as np

  >>>
  >>> np.divide(1.0,0)
  __main__:1: RuntimeWarning: divide by zero encountered in    true_divide
  inf