#include <Meta.h>
determines whether the product of two numeric types is allowed and what the return type is