@icecolbeveridge so, we get to talk about implicit domains!
Is it fair to assume the convention that n is always an integer is being followed, or do they need to explicitly say it?