i64 < 1 + i64
