The information in the manual concerning antifreeze is bewildering.
Especially the part where they call for changing the coolant annually.
It does not specifically call for diesel rated antifreeze, (which is required in most diesel engines), but it is not going to hurt you if you use it.
The fact that they call for annual changes, can only suggest they are concerned about additives wearing out, so you want to use a quality product.
TSC sells fleetgaurd heavy duty diesel antifreeze for around $10 a gallon. I do not use my tractor a lot, so I have decided to use this, and change it every 2 or 3 years.