Use named-field in Int struct; fixes #1