4.1cBSD/usr/src/ucb/ingres/source/ovqp/t.c

main()
{
	double x;

	x = 10.000000000000477;
	printf("%30.20f = %x %x\n", x, x);
	x = 10.000000000000128;
	printf("%30.20f = %x %x\n", x, x);
}