cffi: implement int types again