> New function(s) on the other hand sounds like an ugly solution as well
> only helping people explicitly searching for it after they got bitten at
> least once.

What about deprecating round() in favor of round_float() and
round_int()? or something.

Robert Landers
Software Engineer
Utrecht NL

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to