cleaner Num instance (suggested by Patrick)