Add a generic float promotion type trait.
Maybe propose it.