Genau, die übergeben den Wert an die FPU, sagen dieser den zu verwendenten Rundungsmodus und lesen den Wert wieder aus.
Allerdings ist Trunc tatsächlich ein klein wenig umständlicher geschrieben (was aber wohl nicht ganz stören sollte)
Wenn du es aber mal ganz genau wissen willst, dann schau entweder in die Quelltexte rein, oder mach dir'n Demoprogramm uns schau dir dort an was als
ASM-Code wirklich ausgeführt wird.