It's not idiomatic to force a specific type like that even so. Idiomatic code would accept any type that has the same operations (and their semantics) as int.