New function: all-with-numeric-default
Small tweaks