Index: test/print/print1/test.c
===================================================================
--- test/print/print1/test.c	(revision 1e9a463f40d9863c2287a29fcf65367d6963b1a4)
+++ test/print/print1/test.c	(revision e83a9f7c954282eecb46f51add3a6c1bb620b4aa)
@@ -37,4 +37,6 @@
 	printf(" W  %W  %w \n",0x0123 ,0x0123);   
 	printf(" B  %B  %b \n",0x01 ,0x01);
+	printf(" F  %F	%f (123456789.987654321)\n",123456789.987654321,123456789.987654321);
+	printf(" F  %F	%f (-123456789.987654321e-10)\n",-123456789.987654321e-10,-123456789.987654321e-10);
 	return;
 }