The C spec mandates that variadic arguments smaller than int are promoted to int, and float arguments are promoted to double.

See: https://en.cppreference.com/w/c/language/conversion#Default_argument_promotions

Currently however, most linkers happily link variadic arguments of sub-int types or float.

We should explicitly reject these types, since they are not officially supported.