Incorrect multiplication if used before operation (int)

[popov-do]

Description

The following code:

<?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

[iluuu1994]

That's IEEE 754.

var_dump(314.15 * 100);
// float(31414.999999999996)

You'll need to use round. echo does something along those lines, while an int cast does not.

[popov-do]

Thanks , I understand now what's happening.