Ivory.Language.BoundedInteger