1--TEST--
2Conversion of special float values to int
3--FILE--
4<?php
5$values = [
6    0.0,
7    INF,
8    -INF,
9    1 / INF,
10    -1 / INF, // Negative zero,
11    NAN
12];
13
14foreach($values as $value) {
15    var_dump($value);
16    var_dump((int)$value);
17    echo PHP_EOL;
18}
19?>
20--EXPECT--
21float(0)
22int(0)
23
24float(INF)
25int(0)
26
27float(-INF)
28int(0)
29
30float(0)
31int(0)
32
33float(-0)
34int(0)
35
36float(NAN)
37int(0)