conversion: is_explicitly_convertible uses now an independent implementation from is_constructible, based on static_cast.