variable-precision-0.3.1: variable-precision floating point