I don't know that much about SVG, but if it's vectorial, why even have decimal points? I guess 1 represents 1 pixel, but why? 100 could means 1 pixel too... and if that's enough precision to you, you'll even save a few hundreds dots in your file size ;) (though it's true that 1% of the time you would also save 2 digits and the dot, and 10% of the time you'll save a digit).