manaValue property
The mana value of this particular face. This is a double because some "Un" set cards have fractional mana values.
Due to the inherent inaccuracy of comparing floating point numbers and because manaCost serves the same purpose, manaValue is not included in determining equality with ==.
Implementation
final double? manaValue;