[S03] make infix:<%> be rational if possible