i64 * i ^ i64
