Tue, 04 Oct 2022 09:12:42 +0000 note on signed division on words default tip
haftmann [Tue, 04 Oct 2022 09:12:42 +0000] rev 76249
note on signed division on words
Tue, 04 Oct 2022 09:12:41 +0000 tuned definition
haftmann [Tue, 04 Oct 2022 09:12:41 +0000] rev 76248
tuned definition
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 tip