Function from_natural 

pub fn from_natural<V: TowerValue>(value: Hypernatural, scale: &Arc<Scale>) -> V

The canonical value of an infinite integer: a standard one is an Int/BigInt, and one whose branches are standard but differ is a residue-dependent integer.