pub fn cast_uint16_to_float32<'a>(a: u16) -> f32