1--TEST--
2Test bug #64370 microtime(true) less than $_SERVER['REQUEST_TIME_FLOAT']
3--FILE--
4<?php
5echo "\$_SERVER['REQUEST_TIME']: {$_SERVER['REQUEST_TIME']}\n";
6echo "\$_SERVER['REQUEST_TIME_FLOAT']: {$_SERVER['REQUEST_TIME_FLOAT']}\n";
7echo "time(): " . time() . "\n";
8echo "microtime(true): " . microtime(true) . "\n";
9$d = (microtime(true)-$_SERVER['REQUEST_TIME_FLOAT'])*1000;
10echo "created in $d ms\n";
11echo ((bool)($d >= 0)) . "\n";
12?>
13--EXPECTF--
14$_SERVER['REQUEST_TIME']: %d
15$_SERVER['REQUEST_TIME_FLOAT']: %f
16time(): %d
17microtime(true): %f
18created in %f ms
191
20