New function: all-with-numeric-default
Small tweaks
New operator: div
Typo