Powering an Arduino/stepper driver system with one DC input

These ones may be better yet: http://www.digikey.com/product-detail/en/V7809-1000/102-1717-ND/1828610 24V in 9V out. Plenty of current. Really efficient.