1--TEST--
2Bug #71314 (var_export(INF) prints INF.0)
3--FILE--
4<?php
5
6var_export(INF);
7echo PHP_EOL;
8var_export(-INF);
9echo PHP_EOL;
10var_export(NAN);
11echo PHP_EOL;
12?>
13--EXPECT--
14INF
15-INF
16NAN
17