circuitpython/tests/basics/int_bytes.py