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--EXPECT--
13INF
14-INF
15NAN
16