Type-level box for ints.