use proper integer size