Also, factor out mp_binary_get_int() function.