Most photo lenses go past infinity,
It's partly so you can still get infinity if you play IR, and partly to allow for variations in the lens mount to sensor distance.
With video lenses on the other hand, there's a hard stop at infinity, and the distance scale on the lens is expected to be spot on. With the better video cameras, there's lens mount to sensor adjustment to make sure it's all correct.