One of these has to be a double if we want this modifier to work.