lol.
doc, yes, .10 and .01 are not the same but afaik, it's "well known" matematical rule that leading zeros are useless.
thus .1 and .01 are exaxctly the same.
_________________________
!

download KiXnet