16 Dec
2020
16 Dec
'20
5:53 p.m.
Ah, my mistake. n has to have the given type a and not Integer of course.