fix int->double->int conversion in JsonInt