1--TEST-- 2Bug #80404: Incorrect range inference result when division results in float 3--FILE-- 4<?php 5 6$n = 63; 7var_dump((int) ($n / 120 * 100)); 8 9?> 10--EXPECT-- 11int(52) 12
