frontend/termbox: tab_size setting might be a float64...