Add real-time-milliseconds to _t-univ.scm (for benchmarking)