1--TEST--
2Bug #72017 (incorrect truncation due to floating point precision issue)
3--FILE--
4<?php
5var_dump(range(4.5, 4.2, 0.1));
6?>
7--EXPECT--
8array(4) {
9  [0]=>
10  float(4.5)
11  [1]=>
12  float(4.4)
13  [2]=>
14  float(4.3)
15  [3]=>
16  float(4.2)
17}
18