N=maxint-1

float_of_int(N+N-N) <> float_of_int(N)+float_of_int(N)-float_of_int(N)

puisque le premier terme n'est même pas défini.
Donc ya pas de morphisme.

D'ailleurs, plus généralement, c'est algébriquement absurde de faire d'une des types un sous ensemble de l'autre, le type entier c'est l'anneau Z/2^nZ, un anneau bien né, doté de toutes les qualités qu'on peut souhaiter à un anneau, alors que les floats c'est un espèce de pseudo-anneau qui doit même pas être intègre, pour l'associativité on se tâte et pour la distributivité on se mord la langue.

Qu'est ce que c'est crade le C!