Add a type for non-float instants