A power of two should definitely be an even number, and `2**-100` is representable exactly as a float, so there shouldn't be any loses. (Specifically, this should be an exact flip of the `2f64.pow(&100.)` case.)