JSON output type produced decimal number instead of integers

[jefim]

1. Test e.g. with the query SELECT date_part('month', somedate).
2. Set output type as JSON
3. In result you will have the month number as e.g. 12.0 (December) instead of just 12.