Fix wrong type for ctanh