toJSON(i64 - 0.5)
