Commit 7ab90a48eec6a7b7377671882965b0269e39fd4f

Steffen Jaeckel 2015-06-07T14:19:06

use stdint.h for mp_digit and mp_word typedefs