added Type/Number/NumberType.php