Correction: floats cannot be HashMap keys

Neither f32 nor f64 appear to implement Hash.