Ju l 2 01 9 Integral and differential structure on the free C ∞-ring modality