Actually, what I meant is that I'd like a date/time object in vanilla in general, not because I need it for a random seed, but because I generate time stamp strings for recordings.
Vanilla could also have something like [date]/[time] one way or another, but adding it just for the case of managing seeds in [random] seems like a bad idea to me.