/*-- direct creation --*/ public json_type(int o) { type = object_type.@int; i_value = new json_int(o); }
/*--- generic constructors --*/ public json_type(json_int o) { type = object_type.@int; i_value = o; }