fix cosc type inference for integers