type(half) endsWith toJSON(1)
