i64 < max(0.5)
