arbitrary-precision representation