Acquisisci una stringa invece di un float e usa atoi (principalmente per evitare una eccezione)
codice:
#include <string>
...
string line;
do {
    getline(cin,line);
    aux = atoi(line.c_str());
} while (aux ==0);