Index: src/macosx/osxgl.m
===================================================================
--- src/macosx/osxgl.m	(revision 15107)
+++ src/macosx/osxgl.m	(working copy)
@@ -1867,13 +1867,13 @@
       max_size.width = display->max_w;
    }
    else {
-      max_size.width = 10000;	/* should be FLT_MAX */
+      max_size.width = FLT_MAX;
    }
    if (display->max_h > 0) {
       max_size.height = display->max_h;
    }
    else {
-     max_size.height = 10000;	/* should be FLT_MAX */
+     max_size.height = FLT_MAX;
    }
 
   [window setContentMaxSize:max_size];