One element at a time, actually (it's an array of shorts). Overflows don't happen too often, so it's typically not an issue. This is the kind of thing we need to benchmark and see if we need to tweak.