Implement int64v