Added a typedef for time points since the definition is too long for regular use