1.53	[2003-12-30]
	- Windows: higher resolution time() by using the Windows
	  performance counter API, from Jan Dubois and Anton Shcherbinin.
	  The exact new higher resolution depends on the hardware,
	  but it should be quite a bit better than using the basic
	  Windows timers.