writeHex_floatx80

68

void writeHex_floatx80( floatx80, FILE * );

230

writeHex_floatx80( testCases_a_floatx80, stdout );

237

writeHex_floatx80( testCases_a_floatx80, stdout );

239

writeHex_floatx80( testCases_b_floatx80, stdout );

378

writeHex_floatx80( trueZ, stdout );

384

writeHex_floatx80( testZ, stdout );