use GetTickCount() and clock() on MSVC; handle 0 and inf in prettyPrint*
use GetTickCount() and clock() on MSVC; handle 0 and inf in prettyPrint*

VcDevel/Vc,VcDevel/Vc,VcDevel/Vc,VcDevel/Vc,chr-engwer/Vc,chr-engwer/Vc,chr-engwer/Vc