717 US dry pints in imperial pints
Result
The conversion result is: 717 US dry pints is equivalent to 694.729242867304 imperial pints.[1]
Conversion formula
How to convert 717 US dry pints to imperial pints?
We know (by definition) that: 1 drypint ≈ 0.968938971920925 imperialpint.
We can set up a proportion to solve for the number of imperial pints.
1 drypint / 717 drypint ≈ 0.968938971920925 imperialpint / x imperialpint
Now, we cross multiply to solve for our unknown x:
x imperialpint ≈ (717 drypint / 1 drypint) * 0.968938971920925 imperialpint → x imperialpint ≈ 694.7292428673032 imperialpint
Conclusion:
717 drypint ≈ 694.7292428673032 imperialpint

Conversion in the opposite direction
The inverse of the conversion factor is that 1 imperial pint is equal to 0.00143940968408466 times 717 US dry pints.
It can also be expressed as: 717 US dry pints is equal to 1 / 0.00143940968408466 imperial pints.
Approximation
An approximate numerical result would be: seven hundred and seventeen US dry pints is about six hundred and ninety-four point seven three imperial pints, or alternatively, a imperial pint is about zero times seven hundred and seventeen US dry pints.
Footnotes
[1] The precision is 15 significant digits (fourteen digits to the right of the decimal point).
Results may contain small errors due to the use of floating point arithmetic.