Fix float formatting of timeline circle margins and widths

fixes #6926