Function compiler_builtins::float::extend::extend

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