Convert a number to a byte array

RFC 8032 - Edwards-Curve Digital Signature Algorithm (EdDSA) example it was necessary to change the highest bit of the most significant byte (a 32-byte number). algorithm eddsa