Change: [time] removing needless invar specifiers.
Fix: a minor bug in time module;
Add: a few minor changes to bigint;