Адаптируется ли php- date_default_timezone_set к переходу на летнее время?

Адаптируется ли date_default_timezone_set php к переходу на летнее время?

У меня есть этот код, и интересно, всегда ли это приведет к правильному времени Стокгольма?

  date_default_timezone_set('Europe/Stockholm');
  $timestamp = date("Y-m-d H:i:s");

Учитывая произвольное число, представленное в IEEE-754 формат с одинарной точностью (обычно известный как плавание на некоторых языках/платформах), я могу быть уверен, что число может быть представлено точно в формате двойной точности также?

Если так, та собственность действительна, рассматривая полуточность к с одинарной точностью и двойную точность к точности четверки?