Infinitesimal calculus 2016