main(int ac, char**av)
{	float pi=3.14159265358979323846;
	char *bf[100];

	sprintf(bf,"%8.6f",pi);
	printf("\t   pi is \"%s\".\n",bf);
	sprintf(bf,"%8.6f",10.0*pi);
	printf("\t10*pi is \"%s\".\n",bf);
	exit(0);
}