0.2.0.0: Added certificates and certified testing/factorisation 0.1.0.2: Fixed doc bugs 0.1.0.1: Elaborate on overflow, work more on native Ints in Eratosthenes 0.1.0.0: First release