What is the standard recommended pH range for water-based coolants used for steel machining?

9-9.5 -  pH is a compromise: 
- it must be high to limit bacterial growth (>8.5)
- it must be low in order to avoid skin irritation (<10)

Is this useful ?