float-SR enhanced with infty-element