Double/float range annotation

It would be incredibly useful to have something similar to `@Range` for doubles/floats.

For example, to indicate that the return value is always in the range `[0, 1]` (0 to 1, inclusive)

something like
```java
@Documented
@Retention(RetentionPolicy.CLASS)
@Target({ElementType.TYPE_USE})
public @interface DoubleRange {
double from();
double to();
}
```

首先在项目中定位现有的 @Range 注解及相关注解定义。将它们的保留策略和目标行为与提议的 DoubleRange API 进行比较，然后确定应如何表示和记录浮点数边界。完成的标准是项目拥有一个经过评审的 double/float 范围注解，并且清楚定义包含边界的语义。

由索引模型根据 Issue 内容生成。