serialize float number always in same way, irrespective of current
locale