variable-precision-0.4: variable-precision floating point