Keins von beidem. Da steht:

PHP-Code:
double(10,2