Clean up phpstan warning

diff --git a/ratioed/RatioedPanel.php b/ratioed/RatioedPanel.php
index d0fac8adf0f2198a3f26381f5e070eeedcc6c8dc..b611b256047a23d8ff1b6fcc25c60b696e802e96 100644 (file)
--- a/ratioed/RatioedPanel.php
+++ b/ratioed/RatioedPanel.php
@@ -236,7 +236,7 @@ FROM (
                        $user['reply_respondee_likes'] = $reply_guy_result_row['target_like_total'] ?? 0;
                        $user['reply_op_likes'] = $reply_guy_result_row['original_like_total'] ?? 0;
 
-                       $denominator = (int)($user['reply_likes'] + $user['reply_respondee_likes'] + $user['reply_op_likes']);
+                       $denominator = intval($user['reply_likes']) + intval($user['reply_respondee_likes']) + intval($user['reply_op_likes']);
                        if ($user['reply_count'] == 0) {
                                $user['reply_guy'] = false;
                                $user['reply_guy_score'] = 0;