RE: [math-fun] octonians - cubic extension?