Example

real x, y;

int i, j;

x = y + i * j

generates code

t₁ = i int* j

t₂ = inttoreal t ₁

t₃ = y real+ t ₂

x = t ₃

Here is an example of type conversion within assignments