community_global_df['discord_exp'] = community_global_df['discord_exp'].str.strip('L').astype(int)

app.py

@@ -416,8 +416,13 @@ async def remove_huggingfolks():
         # make a copy while discord id column still exists -> use for rank in discord embeds
         community_global_df_with_id = community_global_df_with_id.copy()
 
+
+
+
+
         # drop first column (discord id -> this is so we can display the important stuff in the leaderboard)
         community_global_df.drop(community_global_df.columns[0], axis=1, inplace=True)
+        community_global_df['discord_exp'] = community_global_df['discord_exp'].str.strip('L').astype(int)
         community_global_df['discord_exp'] = pd.to_numeric(community_global_df['discord_exp'])
         community_global_df = community_global_df.nlargest(len(community_global_df), 'discord_exp')