A formula for the Bohl exponent of discrete time-varying systems. (January 2023)