I wouldn’t assume it’s currency if there weren’t a dollar sign, but yes. To me, 10.0, 10.00, 10.000 and 10.0000 all look the same and I wouldn’t hesitate to see

I wouldn’t assume it’s currency if there weren’t a dollar sign, but yes. To me, 10.0, 10.00, 10.000 and 10.0000 all look the same and I wouldn’t hesitate to see them as 10. The only difference is that more zeroes implies more precision. 10,00 looks like a typo, either of 10,000 or of 10.00, but if I saw it surrounded by a bunch of German text, I’d know it meant 10.