numberformat und double