I am using floating-point numbers, so decimal oddities like this might happen occasionally. Since there's no precision on Mana Energy specified in the rules, I think I'll just leave the numbers in floating-point form with no precision limit, but correct rounding errors like this when I see them.