ENHANCED: integer//1 used as integer(+I): raise error if I is not an
integer.