[php-src] Issue #8509: Float to string cast/conversion should never produce more decimal digits than needed

From: Date: Sat, 07 May 2022 16:59:06 +0000
Subject: [php-src] Issue #8509: Float to string cast/conversion should never produce more decimal digits than needed
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-241435@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/8509 Closed by nikic.

« previous php.bugs (#241435) next »