I think that portable gettimeofday may be usefull in some cases.
Agree, feature #745. v0.9.2 will have it.