1.0.6.14: slightly more efficient FLONUM-TO-DIGITS