Products (class mul) now answer correctly to info_flags::negative and