Ocalm also has 63bit integers in case you want other implementations in the wild.