// Processing for special channel types
        if (channel.getUID().getId().equals("alarm_number")) {
            return new DecimalType(eventAlarm.getV1AlarmCode());
        }