see "$d_SysMaint"'Linux/arithmetic notes.txt'