int x=5;
int y=2;
int z1=x/y; //z1 is 2.5 double value (int type is not remembered at client-side)
int z2=Int(x/y); //z2 is 2 integer value