Add PositiveDecimalGenerator

This adds the positive decimal generation support.
Could it be useful?