Well, if electronic synth sound is what you're after I think you'll be more than happy with any VA (Virtual Analog) synthesizer. As long as it has lots of knobs, an arpeggiator and a good sound. Most VA synths are great. I'd rather not recommend any specific models.
But just so you have something to google:
Access Virus B, Virus C, Virus indigo, Virus classic.
Novation Supernova I , Supernova II.
Waldorf Q, Micro Qk, Microwave XTk.
Nord Lead.
Korg MS2000, Microkorg.
There's more but I thought I'd just mention a few of my favorites. Sounds like you've made up your mind already but it never hurts to check out a few more synths.

VA synths are fantastic to work with if you are just getting into electronic music and need a "true electronic" synth sound.
-ED-