finished removing infinitesimals from Internal modules