Leaderboard metric precision

[caiocj1]

Hello,

I was wondering if there's any way to increase the decimal precision of the leaderboard metrics; on the multi-world phase for example most of the top methods show the same 0.01 for ActorCR.

Thank you for your help!