Port to Tandem NSK OSS, which has 64-bit signed int but at most