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();
}
```