Should I specify `ceylon.language.Integer` or is `Integer` okay?