toJSON(i64 >= 0.5)
