Allow the type system to use int