fix printing of doubles.