PHP library for arbitrary precision mathematics