/usr/local/lsws/phpbuild/php-8.0.7/Zend/tests/ Current File: //usr/local/lsws/phpbuild/php-8.0.7/Zend/tests/bug80404.phpt

--TEST--
Bug #80404: Incorrect range inference result when division results in float
--FILE--
<?php

$n = 63;
var_dump((int) ($n / 120 * 100));

?>
--EXPECT--
int(52)