In my (arguably limited) experience with using the num traits, FloatConst is most of the time used along with Float. It would simplify a lot of type signatures if the Float trait bound implied FloatConst.
I'll happily submit a PR if the idea is sound.