core: intialize float constants as floats

src/player/player.c

@@ -1315,9 +1315,9 @@ static void
 vlc_player_ChangeRateOffset(vlc_player_t *player, bool increment)
 {
     static const float rates[] = {
-        1.0/64, 1.0/32, 1.0/16, 1.0/8, 1.0/4, 1.0/3, 1.0/2, 2.0/3,
-        1.0/1,
-        3.0/2, 2.0/1, 3.0/1, 4.0/1, 8.0/1, 16.0/1, 32.0/1, 64.0/1,
+        1.0f/64, 1.0f/32, 1.0f/16, 1.0f/8, 1.0f/4, 1.0f/3, 1.0f/2, 2.0f/3,
+        1.0f/1,
+        3.0f/2, 2.0f/1, 3.0f/1, 4.0f/1, 8.0f/1, 16.0f/1, 32.0f/1, 64.0f/1,
     };
     float rate = vlc_player_GetRate(player) * (increment ? 1.1f : 0.9f);
 

src/video_output/video_text.c

@@ -75,7 +75,7 @@ static void OSDTextUpdate(subpicture_t *subpic,
 
     r->p_text = text_segment_New( sys->text );
 
-    const float margin_ratio = 0.04;
+    const float margin_ratio = 0.04f;
     const int   margin_h     = margin_ratio * fmt_dst->i_visible_width;
     const int   margin_v     = margin_ratio * fmt_dst->i_visible_height;
 

src/video_output/video_widgets.c

@@ -205,8 +205,8 @@ static subpicture_region_t *OSDSlider(int type, int position,
  */
 static subpicture_region_t *OSDIcon(int type, const video_format_t *fmt)
 {
-    const float size_ratio   = 0.05;
-    const float margin_ratio = 0.07;
+    const float size_ratio   = 0.05f;
+    const float margin_ratio = 0.07f;
 
     const int size   = __MAX(fmt->i_visible_width, fmt->i_visible_height);
     const int width  = size * size_ratio;