Add operator '//'.