pub fn String(value: INT) -> Type