I've amended the pull request to make BasicTypes::Int behave like an Int in the aforementioned operations.