Def computability.encode_num

Modification history