float32Random
testCases_a_float32 = float32Random();
testCases_a_float32 = float32Random();
testCases_b_float32 = float32Random();
testCases_b_float32 = float32Random();
testCases_a_float32 = float32Random();
testCases_a_float32 = float32Random();
testCases_a_float32 = float32Random();
testCases_b_float32 = float32Random();