0.5 ** f32 < min(i64)
