A translation for integers from GV to CP.