toJSON(i64 < 0.5)
