ex3 float