pub fn cast_uint64_to_float32<'a>(a: u64) -> f32