[extropy]

And switch to metric units while we're at it.

[dfawcus]

We already did that a while ago.

Apart from pints in the pub, and road distances. Everything else is metric.