Module naf 

Functions

biguint_to_naf

Convert a positive integer into a Non-Adjacent Form (NAF) digit vector (LSB-first).