<div dir="ltr"><div class="gmail_extra">I rather suspect that we would be best served by starting with integer literals as the only accepted “values in generics”. This would let us define fixed-size arrays and matrices, the modular arithmetic types you describe, and several other mathematical entities.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Nevin.</div></div>