Bug fixed:	The precision of time as implemented in Rev. 1.10 was 		poor.
Bug fixed:	The precision of time as implemented in Rev. 1.10 was
		poor.

This change improves the marking of time on Win32 from 1-second
granularity to ~10-millisecond granularity by storing the seconds per
count as a double.  It seems like we could do better.  At the very least,
the calculation of seconds per count needs some massive optimization.

Submitted by:	Bryan Walters <camaro@vrac.iastate.edu> and
		Adrian Sannier <sannier@vrac.iastate.edu>


git-svn-id: 769d22dfa2d22aad706b9a451492fb87c0735f19@7951 08b38cba-cd3b-11de-854e-f91c5b6e4272

vancegroup-mirrors/vrjuggler,vancegroup-mirrors/vrjuggler,vancegroup-mirrors/vrjuggler,LiuKeHua/vrjuggler,MichaelMcDonnell/vrjuggler,vrjuggler/vrjuggler,godbyk/vrjuggler-upstream-old,LiuKeHua/vrjuggler,LiuKeHua/vrjuggler,vancegroup-mirrors/vrjuggler,vrjuggler/vrjuggler,vrjuggler/vrjuggler,godbyk/vrjuggler-upstream-old,vancegroup-mirrors/vrjuggler,LiuKeHua/vrjuggler,MichaelMcDonnell/vrjuggler,godbyk/vrjuggler-upstream-old,MichaelMcDonnell/vrjuggler,vrjuggler/vrjuggler,godbyk/vrjuggler-upstream-old,LiuKeHua/vrjuggler,vancegroup-mirrors/vrjuggler,MichaelMcDonnell/vrjuggler,MichaelMcDonnell/vrjuggler,MichaelMcDonnell/vrjuggler,LiuKeHua/vrjuggler,vrjuggler/vrjuggler,vrjuggler/vrjuggler,LiuKeHua/vrjuggler,MichaelMcDonnell/vrjuggler,vrjuggler/vrjuggler,godbyk/vrjuggler-upstream-old,godbyk/vrjuggler-upstream-old,MichaelMcDonnell/vrjuggler,vrjuggler/vrjuggler,LiuKeHua/vrjuggler