pub fn zext(a: Range, to: u32) -> Range
It at the wider width with zeroes on top, which keeps every interval as it was.