s-gilles and oridb Document current libmath progress.