4 ms·

These are assembly implementations of arbitrary precision integer arithmetic with correctness proofs in hol light.