Na tohle neznám přesnou odpověď.
Každopádně sama knihovna GMP umožňuje určit počet bitů mantisy u floating-point čísla. Dále u CGAL si můžete zvolit, na jakým datovým typem má počítat.
Pokud použijete datové typy, které v paměti zabírají třeba kilobajty, výpočet geometrických predikátů nemůže být rychlejší. Nicméně tak, jak tyto predikáty používá ve svém článku Shewchuk, můžete mít korektní výsledek s datovými typy float a double, a tudíž knihovna GMP není vůbec potřeba.
O tom, že autorem článku není p. Tišnovský, jsem začal pochybovat až u té první osoby "Uvedu příklad". Moc pěkné čtení - díky!