i64 <= min(0.5)
