The following is an ∞-loop: ```julia convert(AbstractVector{Float64}, mortar(Base.OneTo.(oneto(∞)))) ```