Remove obsolete Number class and interface, tweak deps
Merge pull request #1439 from pjedrzejewski/small-tweaks-to-sequence-and-finite

Remove obsolete Number class and interface, tweak deps