More size restictions
Change Value::zero_extend to a method