circuitpython/tests/basics/int-divzero.py