Add vice formula.
Fix uint64_t conflict when included together with OpenCV.