--- dietlibc/t.c	2002/01/01 22:00:42	1.197
+++ dietlibc/t.c	2002/01/09 02:34:08	1.198
@@ -102,8 +102,13 @@ extern char* strcpy2(char*a,char*b);
      __asm__ __volatile__ ("rdtsc" : "=a" (low) : : "edx")
 
 int main(int argc,char *argv[]) {
+  char buf[101];
+  __dtostr(-123456789.456,buf,100,6,2);
+  puts(buf);
+#if 0
   time_t t=1009921588;
   puts(asctime(localtime(&t)));
+#endif
 #if 0
   printf("%g\n",atof("30"));
 #endif