And a pretty but impractical number system.