Your are right, normally VAT is a fixed integer value. But that is not guaranteed, historically we had decimal values, too. (My father encountered this once at IBM in the time of punch cards - turns out, having to change this on machines with limited RAM is quite difficult, akin to the Y2K problem.)