fn mul<F: Float>(a: F, b: F) -> Fwhere u32: CastInto<F::Int>, F::Int: CastInto<u32> + CastInto<i32> + HInt, i32: CastInto<F::Int>,