fn extend<F: Float, R: Float>(a: F) -> Rwhere F::Int: CastInto<u64> + CastInto<R::Int>, u64: CastInto<F::Int> + CastInto<R::Int>, u32: CastInto<R::Int>, R::Int: CastInto<u32> + CastInto<u64>,
Generic conversion from a narrower to a wider IEEE-754 floating-point type