Add back 'CasType Int' as 64-bit integer