fix JSONInt32_new API