Although the database format has changed, we have not changed the
integers that we insert into the database, so it makes no difference
that they are microseconds now rather than seconds.