Added arguments for user-defined infinitesimals