There is no difference in PHP. float, double or real are the same datatype.
At the C level, everything is stored as a double.
The real size is still platform-dependent.
See the manual for more details:
http://www.php.net/manual/en/language.types.float.php