Is this not also the format that we encode stuff to for OpenSSL int_to_bn?