i64 != min(0.5)
