Searched refs:divisor (Results 1 – 3 of 3) sorted by relevance
140 double divisor = 10.0; in zend_string_to_double() local169 result += (*digit - '0') / divisor; in zend_string_to_double()170 divisor *= 10; in zend_string_to_double()
1520 ; http://php.net/session.gc-divisor
Completed in 18 milliseconds