Float 3 CDE_2412 (c)