~~~

real3 := TO_REAL(int2 - int1);

~~~

Didn't understand what exactly you meant with "diff" type.