add ex3_float