toJSON(1 % 1)
