Fix small oversight in IEEE and operator