define type for timestamp