per Mario Run for iOS was otherwise the most notable release for Nintendo in the quarter, but the company isn’t saying how many of the tens of millions of people who downloaded the game in its first week paid the $9.99 for the full version.