use int64_t for blasint