added time patch to handle milliseconds within the Time class (i know, i hate patching, but why is it not there already???)