type(0.5 <= i64)
