Zero div not caught?

[inoas]

See
https://hexdocs.pm/check_maybe_div_by_zero/

For int/float div/remainder
Where the divisor is a variable or literal 0 (or close to literal 0 on floats like 0.000000000001,not sure how platforms handle that)