>>191
AXIOMという数式処理システムの型の構造が参考になろうかと。
数だけじゃなくて抽象表現である群とか環とか体とかから導き出してあります。

型は単なる値の集合じゃなくて
演算による値の集合の要素間の対応関係もコミだから代数系と考えられます。
そのように型を代数系と思うと継承（包含）は部分代数系でなければならないといえます。

で、複素数は集約でテンプレートで作っておくのが実際的かと。
ポリモルフィズムは継承じゃなくて型変換と多重定義で実現しておくと。
（どうせ実装が継承できるわけではないし。）
まぁ、STLばりにアルゴリズムが対象の数学的性質から自動選択されるようにするなら
抽象的な群、環、体などから継承しとけばいいかと。
（親子じゃなくて兄弟にしとくわけね。）