Characteristic predicate Int_fast64_t :: Int_fast64_t