In this rule

Historical Rules · 3 July 2020

Rule 601.2g

Official source text from the 3 July 2020 Rules release

Permalink

If the total cost includes a mana payment, the player then has a chance to activate mana abilities (see rule 605, “Mana Abilities”). Mana abilities must be activated before costs are paid.

Find this number in the current Rules