public json_type(decimal o) { type = object_type.@decimal; d_value = new json_decimal(o); }
public json_type(json_decimal o) { type = object_type.@decimal; d_value = o; }