What do you call the father of your father's father?

I would think that would make him your great grandpa!