Module Pos : S with type t = private repr

Positive and negative numbers with and without zero.