Можно ли указать, что аргумент генерикса должен быть подтипом определённого типа или имплементить определённый интерфейс?

Например, можно ли ограничить, чтобы аргументы были только числовыми типами?

Пасиб.

А если надо ограничить именно до числового типа, например



ругается. Как сделать?

Тогда тебе не нужны дженериксы.
int, uint, single и много чего другого неявно преобразуются в дабл и т.д..

Это точно?

Не совсем. С варнингом про потерю точности. 

Не, в памяти int хранится как int, если ты об этом 
Почитай про:
Implicit Numeric Conversions Table
Тупо всё преобразуется в decimal. Большинство математических функций могут его принять в качестве параметра.

Насколько я понимаю, implicit conversion это просто неявное преобразование. То есть, например, в этой таблице есть строка From float To double. Это значит, что я могу писать



и мне не надо писать так



то есть, преобразовывать явно.

Но это вовсе не значит, что при вычислении 2.0f + 3.1f аргументы сперва преобразуются в double или decimal.

Короче, наверное, нельзя.

Добавлено через 1 минуту и 23 секунды

Можно пример?

Очевидно, что в результате преобразования double -> float или double -> int произойдёт потеря точности...

Я хотел пример варнинга про потерю точности.