#include <stdio.h>

int main(void)
{
    int n, m;
    int temp, flag;
    int i, j;
    
    while (1){
        scanf("%d%d", &n, &m);
        
        if (n + m == 0){
            break;
        }
        
        flag = 1;
        for (i = 0; i < m; i++){
            scanf("%d", &temp);
            
            if (temp == 1){
                flag = 0;
            }
        }
        
        printf("%f\n", flag == 1 ? n / 2.00 : 0);
    }
    
    return (0);
}