f64 ** 0.5 <= 1 - 1
