Entiers multiprécision: GMP, LEDA, CLN...
Rationnels multiprécision: GMP, LEDA, CLN...
Flottants paresseux: Lazy, Expansions
"Réels" multiprécision: LEDA, Core