Cast the seq via the Number type