V nejjednodussim pripade bych si to umel predstavit jako BigDecimal z Javy. Nebo nejakou obdobu (BigInteger). Ale pravdepodobne to museji delat o dost chytreji.
Jak dlouho trva overeni? No to je prave ten for. Vygenerovat nahodne cislo s miliony cislic zvladne prvak na FELu. Ale aby o nem mohl prohlasit, ze je to prvocislo, musi udelat dukaz (neboli overeni). A to, jak vidno, trva dlouho a neni lehke.