Added library for standar integers