In this article the structure at infinity of infinite-dimensional linear time invariant systems with finite-dimensional input and output spaces is discussed. It is shown that a diagonal form describing behaviour near infinity can be found. This diagonal form is a generalisation of the Smith-McMillan form at infinity for rational matrices. It is then used to simplify certain solvability conditions of a regulation problem. Examples on time-delay and distributed parameter systems are given.