fixed serialization number-format of double values in DoubleBoundedConstraint and NormalDistributedRandom (ticket #102)