Use intfast64_t and intfast128_t types