i64 < min(0.5)
