Right, because String implements Deref<Target = str>. Similarly, &f32 implements Deref<Target = f32>. So by the same rule &&f32 can coerce to &f32. And this rule can be applied multiple times at a coercion site, so it doesn't matter how many & there are.