Re: rounding integers
| From: | Robert Landers | Date: | Mon, 22 May 2023 11:55:02 +0000 |
| Subject: | Re: rounding integers | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-120382@lists.php.net to get a copy of this message | ||
> 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