Typed Every with int