BUG: make sure to use platform int for GH6212