f64 <= 1 ** 0.5
