--- dietlibc/t.c	2001/02/13 01:11:35	1.20
+++ dietlibc/t.c	2001/02/15 22:20:04	1.21
@@ -37,8 +37,7 @@ static int rand() {
 #endif
 
 int main(int argc,char *argv[]) {
-  double d=atof("0.10e1");
-  printf("%g %g\n",0.0,d);
+  printf("%g %g\n",1e-10,1e10);
 #if 0
   double d=0.0;
   long long t=0x12345678ABCDEF01;