save real numbers in ascii with more precision