--TEST--
Bug #63435 	Datetime::format('u') sometimes wrong by 1 microsecond
--INI--
date.timezone=UTC
--FILE--
<?php
for ($i=1 ; $i<999 ; $i++) {
	$datetime = Datetime::createFromFormat("u", sprintf("%06ld", $i));
	$res = $datetime->format("u");
	if ($res != $i) {
		echo "$i != $res\n";
	}
}
echo "Done";
--EXPECT--
Done