boost 공부중인데 이 코드가 왜 컴파일이 가능한건지 궁금합니다.

template(typename KeyType, typename ValueType)
	class DataType
	{
		public:
			DataType() {}
			DataType(const KeyType& key, const ValueType& value)
				: key(key), value(value) {}
			int compare(const DataType& other) const
			{
				return _compare(other, static_cast(boost::is_arithmetic(KeyType)*)(0));
			}
 
		private:
			int _compare(const DataType& other, const boost::mpl::true_*) const
			{			
				return key-other.key;
			}
			int _compare(const DataType& other, const boost::mpl::false_*) const
			{
				return key.compare(other.key);
			}
 
		public:
			KeyType key;
			ValueType value;
	};