line 1: copysign(0,0 80000000,0) = 80000000,0
line 2: copysign(0,0 0,0) = 0,0
line 3: copysign(3ff00000,0 0,0) = 3ff00000,0
line 4: copysign(0,0 3ff00000,0) = 0,0
line 5: copysign(0,1 0,0) = 0,1
line 6: copysign(0,0 0,1) = 0,0
line 7: copysign(0,32 0,69) = 0,32
line 8: copysign(0,32 80000000,69) = 80000000,32
line 9: copysign(3ff00000,0 3ff00000,0) = 3ff00000,0
line 10: copysign(3ff00000,0 41200000,0) = 3ff00000,0
line 11: copysign(3ff00000,1 41200000,0) = 3ff00000,1
line 12: copysign(3f000000,1 41200000,0) = 3f000000,1
line 13: copysign(3f000000,1 41200000,1) = 3f000000,1
line 14: copysign(bf800000,0 0,0) = 3f800000,0
line 15: copysign(0,0 bf800000,0) = 80000000,0
line 16: copysign(80000001,0 0,0) = 1,0
line 17: copysign(0,0 80000001,0) = 80000000,0
line 18: copysign(bf800000,0 3f800000,0) = 3f800000,0
line 19: copysign(3f800000,0 c1200000,0) = bf800000,0
line 20: copysign(bf800001,0 41200000,0) = 3f800001,0
line 21: copysign(bf000001,0 41200000,0) = 3f000001,0
line 22: copysign(bf000001,0 41200001,0) = 3f000001,0
line 23: copysign(3f123456,76543210 bf123456,76543210) = bf123456,76543210
line 24: copysign(3f123456,76543210 bf123456,76543211) = bf123456,76543210
line 25: copysign(bf123456,76543210 3f123456,76543211) = 3f123456,76543210
line 26: copysign(bf123456,76543211 3f123456,76543210) = 3f123456,76543211
line 27: copysign(bf123456,76543210 3f123456,76543210) = 3f123456,76543210