should float really be here? (as that should be the use_floats)? no?