print a double number