common_type is properly SFINAE-able