Remove more remnants of int-based dot.
Update change log - new overline feature