¹¹The upper half of the modular numbers are printed as negative numbers if the switch balanced_mod is on; hovever, that does not affect the internal representation which uses always integers ≥ 0