upper limit for the typelevel-tensor.