min(0.5) <= i64
