Currently the leading 0 is omitted when formatting a one digit binary subtype as JSON:
{ ... "$type" : "0"}
Expected result according to the Extended JSON specification is:
{ ... "$type" : "00"}