An experimental arbitrary-precision data type