Wikipedia moving to HHVM

This move should make a lot of financial sense. I am not sure, if there is any information on the no of servers deployed but the move should reduce the infrastructure bill significantly for Wiki Foundation.