pub fn cast_interval_to_string<'a>(a: Interval) -> String