Source code checked in, #75324

a) Labels.FloatNumberFormat property is added (suggested here: https://mapwingis.codeplex.com/workitem/21831); b) some refactoring of label generation rountine; c) changed version number to 4.9.3;