php extension,  base32 encoding / decoding