i64 * 1 <= i64
