Update phpdoc for leaderboard function. See #92
In leaderboard, typecast return values as ints (because they're not strings). See #92