The mana value of this symbol, if any. This is a double because some "Un" set symbols have fractional mana values.
final double? manaValue;