Dificultad con explicación de sentencia for

[CalgaryCorpus]

En C es completamente posible hacer int i = 3.5;
pero claro, no se guarda 3.5, se guarda 3 (o 4, tal vez), no el nro decimal original.
De que tipo es el valor 3.5 que está a la derecha? (R:float o double)
De que tipo es i? (R:entero)
El valor AL asignarse hacia i es convertido en entero, pero esto no quita que 3.5 es un float (o double), ni convierte i a un float.

Dado esto, el ejemplo que se da con k float e i entero NO INVALIDA la regla del TIPO y valor enunciada.