Feature #4977: Complete implementation of real progression