pub fn cast_uint64_to_float64<'a>(a: u64) -> f64