I misspoke, kinda. They are ideal differential voltage sources, not "real" opamps. No output impedence, no bias current, no offset, infinite gain, etc etc.
Actually, using real models would solve his problem since those node would not be floating. Ironically that would change performance by...