NRAND
NRAND );
for( i=0; i<NRAND; i++ )
printf("9. Testing on %d random non-denormal values.\n", NRAND );