Okay, I used my seed phrase with https://dcpos.github.io/bip39/ to generate a BIP32 root key, but when I put this key into electrum, it displayed a balance of 0 bitcoins.