Is a whole number float divided by itself guaranteed to be 1.f?

If I write:

int x = /* any non-zero integer value */;
float y = x;
float z = y / y;

Is z guaranteed to be exactly 1.f ?