No need to multiply with 1024LL as we already cast to int64_t