Handle decimal('')
Merge branch 'github-main' of github.com:plomino/Plomino into github-main
Fix brain damage: don't subclass Implicit