C++ port

changed data type for timestamp from double to uint64_t