Presumably, we can use the int64_t multiplication routine for uint64_t. This will resolve a few compilation issues and enable those features.