replace numeric with float for phpdoc