[php-src] Issue #8937: Incorrect multiplication if used before operation (int)
| From: | popov-do | Date: | Wed, 06 Jul 2022 13:15:58 +0000 |
| Subject: | [php-src] Issue #8937: Incorrect multiplication if used before operation (int) | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-241866@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/8937
Author: popov-do
### Description
The following code:
```php
<?php
echo (int)(314.15*100);
echo "\n";
echo (int)(314.14*100);
echo "\n";
echo (314.15*100);
```
Resulted in this output:
```
31414
31414
31415
```
But I expected this output instead:
```
31415
31414
31415
```
### PHP Version
PHP 8.1.7
### Operating System
_No response_