9 US pints in imperial pints

Result

The conversion result is: 9 US pints is equivalent to 7.4940676616609 imperial pints.[1]

Conversion formula
How to convert 9 US pints to imperial pints?

We know (by definition) that: 1 uspint ≈ 0.832674184628989 imperialpint.

We can set up a proportion to solve for the number of imperial pints.

1 uspint / 9 uspint ≈ 0.832674184628989 imperialpint / x imperialpint

Now, we cross multiply to solve for our unknown x:

x imperialpint ≈ (9 uspint / 1 uspint) * 0.832674184628989 imperialpint → x imperialpint ≈ 7.494067661660901 imperialpint

Conclusion:

9 uspint ≈ 7.494067661660901 imperialpint

Conversion in the opposite direction

The inverse of the conversion factor is that 1 imperial pint is equal to 0.133438880611651 times 9 US pints.

It can also be expressed as: 9 US pints is equal to 1 / 0.133438880611651 imperial pints.

Approximation

An approximate numerical result would be: nine US pints is about seven point four nine imperial pints, or alternatively, a imperial pint is about zero point one three times nine US 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.