> This RFC has been put to a vote. It starts today (2014-09-14) and ends in a > week’s time (2014-09-21). > > https://wiki.php.net/rfc/integer_semantics#vote
A few people have asked why I voted no; the only reason is that division by zero will return `false` and emit a warning. Integers can be converted to floating point numbers and dividing by zero in IEEE 754 is defined as INF. I would rather leave behavior undefined by voting no on this RFC than by defining it to a value which does not make sense to me. The value false will get converted to zero in any additional math, which is not the same as INF. The rest of the RFC looks very good, and would vote yes to it if division by zero was untouched or modified to use floating point division by zero. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
