variable-precision-0.2.1: variable-precision floating point