We can get the octonions by 'geometrically quantizing' this rolling ball problem.

But it is easier to go the other way.

So, let's see how the rolling ball arises from the octonions —
or more precisely, the 'split octonions'.

But first, what are the octonions, and split octonions?