* Enhance type checking of 'Number'