Symbol: testCases_sequence_a_floatx80