[math-fun] octonians - cubic extension?