Currently this is not exposed but could be manually edited if you are familiar with web map JSON. It is on our road map to add this formatting option under the aggregation fields.
Thanks for the workaround. I think it doesn't make any sense to have these numbers as decimals.