micropython-lib/numbers/numbers.py