legalize sexts to i64 from <= i32