Set serialization options for JSON in a server workflow

There is one extremely annoying thing in server workflows, and that is that the JSON serializer adds decimals to number values. E.g. when using this value as the JSON parameter in a Web Request:

={
  "test":1
}

the request's body will be: 

{"test":1.0}

It appears that there are several 3rd party API's that do not like decimals in numeric values. The only workaround I can think of is to use Convert To JSON (Which has the same problem), and manipulate the string value using a reqular expression. This is ugly.

Please strip trailing zeroes from numbers automatically, or provide an option to do so.

@VertiGIS: Here is the support request I made 2 years ago