Fixed many casting issues.

src/display/render.h

@@ -31,4 +31,4 @@ void renderDispose();
  * @param width Width of the display (in pixels).
  * @param height Height of the display (in pixels).
  */
-void renderSetResolution(render_t *render, int32_t width, int32_t height);
+void renderSetResolution(render_t *render, float width, float height);