float周りは高速計算領域の話題だから、まともなFloatを用意するなら完全に別の型体系にしたほうがいいんじゃないかな〜