not (i > i64)
