pub type Alpha64 = GreaterThanEqualZero<LessThanOne<Real64>>;
pub struct Alpha64(/* private fields */);