`set_time_limit` function to accept float

[mvorisek]

Description

This is a feature request to accept float in set_time_limit function.

This will allow to set more precise time limit especially for very fast scripts like set_time_limit(0.1).

Native linux timeout does support float as well - https://man7.org/linux/man-pages/man1/timeout.1.html

[bukka]

This would require also changing max_execution_time and modify various functions and globals including zend_set_timeout which actually sets usec to 0 currently so the timeout itself could be potentially more precise but haven't checked all parts. It's not such a minor change though but think the feature request is reasonable - just needs someone to implement it.