Consider dropping the specializations for the type traits, given that it's undefined behavior:
https://en.cppreference.com/w/cpp/types/is_fundamental
https://en.cppreference.com/w/cpp/types/is_floating_point
https://en.cppreference.com/w/cpp/types/is_arithmetic
replies(2):