Add TODO in ecm/lib/bigintpatch.py