(Int-mult-left F_Rat) | [:INT,INT:] = Int-mult-left INT.Ring