Sign Type

A generic type to hold a sign of an numeric type. It limits possible values of the underlying type to either +1 or -1. It takes the responsibility of keeping a value within this domain from user. The type has zero overhead over using a numeric type directly.