An arbitrary-precision decimal library for PHP