レイヤー属性の浮動小数点数化

レイヤー属性を浮動小数点数化すべきだ。ここで、多様な型に対応できるようにすべきだ、という考えが頭をもたげてくるわけですが、今はそこまでする動機は無い。

しかし、今は従来との互換性を失うわけにいかない時期だ。どうする。