normdecimal

Decimal numbers guaranteed to be normal