Add a 'double' record type, and use it for timestamps.