legalize i64 select