/ Ofront: + BITS(int); + ORD(set).