困っています．どなたかMathematicaに詳しい方が
いらっしゃいましたら教えてください．

やりたいことは，変数を純実数として定義することです．
これができないと，例えば，


x=I*a;
Re[x]

Out[1]=-Im[a]

となってしまいます．（これはaが複素数として扱われているからです）
私としては，aを純実数として扱って，Re[x]=0という解に
なって欲しかったのです．
（aには数値を代入したりするのではなく，文字の変数として扱います．）

どなたか博識な方，教えていただけませんでしょうか？