float128Random
testCases_a_float128 = float128Random();
testCases_a_float128 = float128Random();
testCases_b_float128 = float128Random();
testCases_b_float128 = float128Random();
testCases_a_float128 = float128Random();
testCases_a_float128 = float128Random();
testCases_a_float128 = float128Random();
testCases_b_float128 = float128Random();