Arbitrary precision numbers implemented by TeX macros
