Decimal support for PostgreSQL. #3171