Shouldn't it be part of the API, so that the user can find the infinitesimals if needed.