Ist beides möglich, wobei (double) ein C-Cast ist und als veraltet gilt. Allerdings mach ichs aus Gewohnheit auch so.