add explicit int64_t cast

OS X has trouble deciding between an int and int64_t in this case.