CR 106.4a: If a player passes priority (see rule 116) while there is
mana in his or her mana pool, that
player announces what mana is there. If any mana remains in a player’s mana
pool after he or
she spends mana to pay a cost, that player announces what mana is still
there.
IPG 2.5: This infraction covers the majority of game situations in
which a player makes an error or fails to follow a game
procedure correctly. It handles violations of the Comprehensive Rules that
are not covered by the other Game Play
Errors.
Originally posted by David Záleský:
Provided that the game has not ended (because of disqualification) I would
also backup to the point of error and I would allow Player A to untap lands
which produced the unused mana.
106.4a … If any mana remains in a player’s mana pool after he or she spends mana to pay a cost, that player announces what mana is still there.
Originally posted by Olivier Jansen:
What about with standard devotion decks? People quite often tap Nykthos for obscenely large amounts of mana, say they tapped for 9, spend 3 of it to cast spell X. They haven't explicitly stated how much they have left, but very simple math tells us they have 6 left. Is this a problem?
What about when he says he spends 3 more on the next spell, without having mentioned floating mana?