Да вагон таких попыток.
GMP и аналоги представляют числа в виде дробей, количество знаков в числителе и знаменателе которых ограничено только объемом оперативки
Программы символьной математики типа Maple, Maxima, Octave умеют хранить выражение в виде аналитической записи, то есть, умеют представлять всякие иррациональности точно (типа sqrt(2) он так и хранят как sqrt(2))
Для практических инженерных вычислений, такая точность, очевидно, не нужна - там и float и double, как правило, хватает.