export FromInt