Yeah this is an issue everywhere, for us itβs been difficult to deal with in generated quantities where sometimes an RNG can produce a number too large to represent and then throw/crash the model. I think we did something about that. I think R only recently went to 64-bit integers everywhere (?) but yeah, main question to ask is whether you really need exact numbers.