Umwandlung 'des Variablentyps float' nach 'int'

[suit]

Aber was bringt es jetzt zu wissen, wie das Ergebnis zustandekommt und ob das immer nach dieser Regel passiert?

Nein, mir gings darum, zu wissen "wer" dafür verantwortlich ist - sprich ob da der C-Unterbau dafür sorgt und das PHP eigentlich garnichts angeht oder ob die Typecasting-Routine selbst geschrieben ist.