Type Conversions and Component Extractions on Numbers