242   int  exp, e2;              /* exponent of real numbers */  in sqlite3_str_vappendf()  local
558         exp = 0;  in sqlite3_str_vappendf()
566           while( realvalue>=1e100*scale && exp<=350 ){ scale *= 1e100;exp+=100;}  in sqlite3_str_vappendf()
567           while( realvalue>=1e10*scale && exp<=350 ){ scale *= 1e10; exp+=10; }  in sqlite3_str_vappendf()
568           while( realvalue>=10.0*scale && exp<=350 ){ scale *= 10.0; exp++; }  in sqlite3_str_vappendf()
570           while( realvalue<1e-8 ){ realvalue *= 1e8; exp-=8; }  in sqlite3_str_vappendf()
571           while( realvalue<1.0 ){ realvalue *= 10.0; exp--; }  in sqlite3_str_vappendf()
572           if( exp>350 ){  in sqlite3_str_vappendf()
587           if( realvalue>=10.0 ){ realvalue *= 0.1; exp++; }  in sqlite3_str_vappendf()
591           if( exp<-4 || exp>precision ){  in sqlite3_str_vappendf()
594             precision = precision - exp;  in sqlite3_str_vappendf()
603           e2 = exp;  in sqlite3_str_vappendf()
657           if( exp<0 ){  in sqlite3_str_vappendf()
658             *(bufpt++) = '-'; exp = -exp;  in sqlite3_str_vappendf()
662           if( exp>=100 ){  in sqlite3_str_vappendf()
663             *(bufpt++) = (char)((exp/100)+'0');        /* 100's digit */  in sqlite3_str_vappendf()
664             exp %= 100;  in sqlite3_str_vappendf()
666           *(bufpt++) = (char)(exp/10+'0');             /* 10's digit */  in sqlite3_str_vappendf()
667           *(bufpt++) = (char)(exp%10+'0');             /* 1's digit */  in sqlite3_str_vappendf()