#ifndef BOOST_MPL_DENOMINATOR_HPP_INCLUDED
#define BOOST_MPL_DENOMINATOR_HPP_INCLUDED

#include <boost/config.hpp>
#include <boost/mpl/aux_/config/forwarding.hpp>
#include <boost/mpl/aux_/lambda_support.hpp>
#include <boost/mpl/integral_c.hpp>
#include <boost/mpl/integral_c_tag.hpp>
#include <boost/mpl/rational_tag.hpp>

namespace boost { namespace mpl {

    template <typename Tag> 
    struct denominator_impl;
    template<>
    struct denominator_impl<rational_tag> {
        template <typename R> struct apply 
        #if !defined BOOST_MPL_CFG_NO_NESTED_FORWARDING
        : integral_c<typename R::value_type, R::denominator::value>{
        #else 
        {
            typedef integral_c<
                    typename R::value_type, 
                    R::denominator::value
            > type ;
        #endif
        };
    };

    template<>
    struct denominator_impl<integral_c_tag> {
        template <typename I> struct apply 
        #if !defined BOOST_MPL_CFG_NO_NESTED_FORWARDING
        : integral_c<
                typename I::value_type, 
                static_cast<typename I::value_type>(1)
        >{
        #else 
        {
            typedef integral_c<
                typename I::value_type,
                    static_cast<typename I::value_type>(1)
            > type;
        #endif
        };
    };

    template <typename T>
    struct denominator 
    #if !defined BOOST_MPL_CFG_NO_NESTED_FORWARDING
    : denominator_impl<typename T::tag>::template apply<T>{
    #else
    {
        typedef BOOST_DEDUCED_TYPENAME
        denominator_impl<typename T::tag>::template apply<T>::type type;
    #endif
         BOOST_MPL_AUX_LAMBDA_SUPPORT(
            1
          , denominator
          , (T)
        )
    };

}}//boost::mpl

#endif