pub fn cast_float32_to_float64<'a>(a: f32) -> f64