coverage usecase: multiplication operator documented