Salve a tutti,
sto impazzendo per un problema riguardo al cast di una variabile double a una variabile int.

Esempio di codice:

main()
{
double a=10.01;
int int1;
double a1;
int b;

int1=a; //Ricava la parte intera. Int1=10
a1=(a-int1)*100; //Ricava la parte decimale. a1=1.00000

b=a1; //Passo il valore di a1 a b che è intero. QUI C'è il problema!!
printf("%d",b);
system("pause");
}


Stampando la variabile b infatti, non mi stampa 1 ma 0!
Quale potrebbe essere il problema e un'eventuale soluzione?

Grazie