Start unifying with Double instead of TDouble