Using Floats instead of Num_floats as the Elt