2009/10/20 Sim Zacks <sim@compulab.co.il>:
> I guess that's a matter of interpretation. To me zeros after a decimal
> point without anything else after them are extra.
From a mathematical perspective, they most certainly are not extra.
15.000
15.001
15.002
15.003
Each have three digits of precision, and each mean something here.
