i64 mul