9.2 integer