[php-src] Issue #9243: 【Big BUG】Why 439!=4.39 * 100, But 438==4.38 * 10?
| From: | gaohuazi | Date: | Wed, 03 Aug 2022 14:33:36 +0000 |
| Subject: | [php-src] Issue #9243: 【Big BUG】Why 439!=4.39 * 100, But 438==4.38 * 10? | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-242116@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/9243
Author: gaohuazi
### Description
The following code:
```php
<?php
echo 'PHP版本：' . phpversion() . "\n\n";
/*-------439-----*/
$a = 439;
$b = 4.39 * 100;
var_dump($a);
var_dump($b);
var_dump($a == $b);
echo "\n";
/*-------438-----*/
$a = 438;
$b = 4.38 * 100;
var_dump($a);
var_dump($b);
var_dump($a == $b);
echo "\n\n";
exit;
```
Resulted in this output:
```
PHP版本：7.4.26
int(439)
float(439)
bool(false)
int(438)
float(438)
bool(true)
```
```
PHP版本：8.1.0
int(439)
float(438.99999999999994)
bool(false)
int(438)
float(438)
bool(true)
```
### PHP Version
PHP 8.1.0 /7.4.26
### Operating System
win7 SP1