diff --git a/src/video/cocoa/SDL_cocoamouse.m b/src/video/cocoa/SDL_cocoamouse.m
index ffae0c1d5dbffbe6f76bc823ed5c84824602183c..e1bb02578fe422de302bf938c57ea2c4c8a519e7 100644
--- a/src/video/cocoa/SDL_cocoamouse.m
+++ b/src/video/cocoa/SDL_cocoamouse.m
@@ -111,8 +111,8 @@ Cocoa_WarpMouse(SDL_Window * window, int x, int y)
 {
     CGPoint point;
 
-    point.x = (CGFloat)window->x + x;
-    point.y = (CGFloat)window->y + y;
+    point.x = (float)window->x + x;
+    point.y = (float)window->y + y;
     CGWarpMouseCursorPosition(point);
 }