/ package:typenums

The ratio of two type-level numbers
Not-equal constraint
Boolean type-level not-equals.