The following function computes b for a real number x and a positive integer b. What is its loop invariant? float power(float x, int b) float y = x; int d = b; float z = 1.0; while(d > 0) if(d % 2) z = z*y; y = y*y; d = d/2; return z