Tamer driver: 8-byte multiples, some unsignedness fixes.
Fix a bug in non-virtual time.