The $12.5 for MMI has come into question as experts question how they came up with it.
And they reportedly bid the "e constant" (2.7182
and then "pi" (3.14159) in the Nortel auction before joining with a consortium and dropping out at $4.4B.
Maybe they will throw out "Avogadro's number" (6.0221415) at IDCC, or "pi" squared (9.86960).