not (0.5 <= i64)
