#43 Timeval.toString() produces incorrect output

[Anonymous]

When the Timeval is converted to a string, if the millisecond value is less
than 100000 it is not prepended with zeros.

[EJP]

Logged In: YES
user_id=1262793
Originator: NO

This has been addressed in the forthcoming release 2.0.