Fixed wrong printing of double float numbers