fromJSON(toJSON(i32))
