pub trait IsBetween01: IsBetween + Zero + One { }
A value that can tell whether or not it is between 0 and 1 (inclusive).