add actual 64-bit types, use for time