I tipi di dato li trovi a http://www.php.net/manual/it/language.types.php

Nello specifico i numeri a virgola mobile sono definiti nella sezione

http://www.php.net/manual/it/language.types.float.php