floatx80Random
testCases_a_floatx80 = floatx80Random();
testCases_a_floatx80 = floatx80Random();
testCases_b_floatx80 = floatx80Random();
testCases_b_floatx80 = floatx80Random();
testCases_a_floatx80 = floatx80Random();
testCases_a_floatx80 = floatx80Random();
testCases_a_floatx80 = floatx80Random();
testCases_b_floatx80 = floatx80Random();