not (i >= i64)
