تفاوت نوع داده ای float با double در php

[<?php?>]

تو گوگل سرچ زذم منابع فارسی خیلی کم بود و نامعلوم .
تو سایت خوده php هم این مقاله رو پیدا کردم ولی متوجه منظورش نشدم : http://www.php.net/manual/en/language.types.float.php


اینطور که حدس میزنم هیچ فرقی نمیکنه . ولی نباید حدسم درست باشه بالاخره یه فرقی دارن این دوتا


این کد رو ران کنید :

$vad = 1.1;

print gettype($vad);

var_dump($vad); 

چرا یه بار میگه double هست یه بار دیگه میگه float ??