constructor precondition checks added in time constructor
Merge origin/master