circuitpython/tests/float/int-divzero.py