infinitesimals

not defined yet