Just compare it with brute force solution for first 10'000'000 values. Also check that values 10, 100, 1000, 10'000, ..., 10^18 come in ascdending order - this way you'll check for overflow.

Signed int64 is enough here if you perform no redundant additions/multiplications (i.e. if resulting values only increase during execution).