variable-precision-0.2: variable-precision floating point