I like verbosity!
Or use a dependent type language. Maybe Idris? Then something like Between(0,1) I guess.