[refinement] corrected integer kind