* numeric::print(): increase precision for C source output.