Det finns faktiskt både och, beroende på om man kör Gnome eller KDE, i Gnome, eller rättare sagt med gcalctool så får man mycket riktigt 3999,75 men med Kcalc får man däremot 3000... så det gäller att hålla reda på vilken räknare man använder...
Själv kör jag förresten Gnome, men har KDE installerat också (och använder det ibland) så jag har båda räknarna på burken...