pub fn cast_float32_to_string<'a>(a: f32) -> String