template<>
manif::internal::is_ad<dual1stf> struct