3,5 is indeed 3 and a 0,5. That definitely would've been one impressive trading card to cost 35usd...
