-i64 * i64
