changed all C++ ints to int64_t for hhvm extension