> So it's apparently the combination of historical reasons and a bug. I take that back; it works as advertised, I guess. Anyway, yes, it seems that the external format promotes to bigints too early presumably because some earlier version didn't double-check the size of the number when reading it. -Andy