@Documented @TypeQualifier(applicableTo=java.lang.Number.class) @Retention(RUNTIME) public @interface Nonnegative
When
when
When when