The general Double operators seem to work now, for some reason? Move to them.