first integers implementation speced and impmptd